On Fri, 9 Dec 2022 16:15:34 GMT, Severin Gehwolf <[email protected]> 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? Yes, and you can use the skara backport command to make this easier. See https://openjdk.org/guide/#using-the-skara-tooling-to-help-with-backports ------------- PR: https://git.openjdk.org/jdk/pull/11606
