On Mon, 23 May 2022 10:20:39 GMT, Richard Reingruber <rr...@openjdk.org> wrote:
> Could it be that you mean > [JDK-8264699](https://bugs.openjdk.java.net/browse/JDK-8264699)? > Yes, you are right. > I'm ok with this version of your fix. I'd suggest to change title/synopsis of > the bug report to better match it though. Thank you. I've renamed the summary ------------- PR: https://git.openjdk.java.net/jdk/pull/8589
