On Fri, 7 Apr 2023 12:22:03 GMT, Andy-Tatman <d...@openjdk.org> wrote:
> See https://bugs.java.com/bugdatabase/view_bug?bug_id=8305734 and > https://bugs.java.com/bugdatabase/view_bug?bug_id=JDK-8311905 I posted a second bug report & edited this PR to also include this second bug. https://bugs.openjdk.org/browse/JDK-8311905 ------------- PR Comment: https://git.openjdk.org/jdk/pull/13388#issuecomment-1632130983