On Wed, 30 Nov 2022 10:09:14 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
>> Erik Österlund has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Add comment > > Thank you for the update. I agree with David that it is not very clear when > it is needed. Approving anyway. Thank you for the reviews, @sspitsyn and @dholmes-ora! ------------- PR: https://git.openjdk.org/jdk/pull/11238
