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

Reply via email to