On Fri, 9 Dec 2022 15:22:21 GMT, Sean Mullan <mul...@openjdk.org> wrote:
> I tested the fix on all platforms and it passed. This is probably also worth > fixing in JDK 20 to get it off the ProblemList. Thanks for the review! What does fixing in `JDK 20` mean at this stage? File a PR against https://github.com/openjdk/jdk20 instead? ------------- PR: https://git.openjdk.org/jdk/pull/11606
