On Thu, 4 Sep 2025 18:26:21 GMT, Alexey Ivanov <aivanov at openjdk.org> wrote: >> Done. > > This is not done. Sorry, I have missed this one. I have done it now. Thanks. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25971#discussion_r2323603804