On Fri, 4 Apr 2025 14:26:30 GMT, Sean Mullan <mul...@openjdk.org> wrote:
> > Done I think: https://bugs.openjdk.org/browse/JDK-8297970 > > Is this link correct? This issue was fixed in JDK 20. Sorry.. copy/paste didnt notice.. https://bugs.openjdk.org/browse/JDK-8353670 (also ends in *70!) ------------- PR Comment: https://git.openjdk.org/jdk/pull/23719#issuecomment-2779021494