On Fri, 9 Dec 2022 20:21:32 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? > > 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 Now I'm confused. Aren't changes done to `jdk20` automatically merged to the JDK 21 (jdk head) tree? Why would I use backport tooling. Or are you suggesting to integrate this and then backport to the `jdk20` tree? ------------- PR: https://git.openjdk.org/jdk/pull/11606
