On Thu, 25 Apr 2024 11:04:31 GMT, Claes Redestad <redestad at openjdk.org> wrote: > Looks reasonable. Thanks for the review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18946#issuecomment-2076994082