On Thu, 29 Feb 2024 12:27:51 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: > This looks good to me @Korov . Give me some time to send that change to our test farms and double check it causes no issues. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18060#issuecomment-1971052353