On Mon, 9 Sep 2024 14:54:32 GMT, Fei Yang <fyang at openjdk.org> wrote: > Nice catch! Thanks Robbin. I am trying it on my machines. BTW: Seems this fix deserves a small code comment. Added comment, is this what you had in mind? ------------- PR Comment: https://git.openjdk.org/jdk/pull/20912#issuecomment-2339633321