On Mon, 12 Jun 2023 14:45:48 GMT, Jorn Vernee <jver...@openjdk.org> wrote:

> Btw, besides the other 2 issues this solves (from the other PR), I think this 
> also solves: https://bugs.openjdk.org/browse/JDK-8255350

Thanks for the reminder - JDK-8255350 is not fixed by this, but by 
https://git.openjdk.org/jdk/pull/14007

-------------

PR Comment: https://git.openjdk.org/jdk21/pull/7#issuecomment-1587557299

Reply via email to