On Fri, 17 Nov 2023 22:04:58 GMT, Brian Burkhalter <b...@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. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16720#issuecomment-1817496386
