On Fri, 3 Nov 2023 12:00:08 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Anyone? I find those comments utterly incomprehensible. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16215#issuecomment-1792544099