On Thu, 16 Oct 2025 22:31:57 GMT, Serguei Spitsyn <[email protected]> wrote:
>> Francesco Andreuzzi has updated the pull request incrementally with two >> additional commits since the last revision: >> >> - revert >> - replace > > The approach looks okay to me. Thank you for taking care about this issue! Hi @sspitsyn, @dholmes-ora, @lmesnik, I applied all your suggestions. This PR is ready for another look when you have time. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27766#issuecomment-3422860973
