On Mon, 12 Aug 2024 15:46:13 GMT, Alan Bateman <al...@openjdk.org> wrote:
> please do not integrate this change until I get time Sure, of course I will not. Thanks to @magicus and @dfuch for helping to make it better. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20317#issuecomment-2284529067
