On Sun, 27 Nov 2022 17:49:57 GMT, Michael Ernst <mer...@openjdk.org> wrote:
> Could someone who knows the undocumented ins and outs of creating JDK pull > requests could split this pull request up into multiple PRs? Then it can be > merged, rather than wasting all the effort that went into it. I've raised https://github.com/openjdk/jdk/pull/11385 for one set of changes from this current PR. I'll pick up the other ones shortly in different PRs. ------------- PR: https://git.openjdk.org/jdk/pull/10029
