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! Thanks for the review @sspitsyn, @sspitsyn, @alexmenkov and @dholmes-ora. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27766#issuecomment-3434293942
