On Sat, 18 Nov 2023 12:30:18 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
> > @MBaesken I would appreciate it if you would try out this proposed change > > to see whether it fixes the problem that you reported. Thanks! > > Hi Brian, I added your patch to our tests. After adding the patch, the errors seen before in our test runs are gone. Thanks for the patch ! ------------- PR Comment: https://git.openjdk.org/jdk/pull/16720#issuecomment-1818401211
