On Tue, 16 May 2023 07:24:31 GMT, David Holmes <dhol...@openjdk.org> wrote:
> I wonder if @Martin-Buchholz is able to look at this one? > > My concern with changes like this is that they fix an issue but then have > unexpected side-effects themselves. Are there any specific concerns you have? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13956#issuecomment-1549179059
