On Fri, 7 Jul 2023 13:38:34 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > (just noticed the patch adds +666 lines, bad sign, I should add another line somewhere). It also deletes 2 lines so that makes it 664 😉 ------------- PR Comment: https://git.openjdk.org/jdk/pull/14781#issuecomment-1625515410