On Mon, 4 Jul 2022 15:05:20 GMT, Andrey Turbanov <[email protected]> wrote:
>> 265 commits seem to be quite a divergence between this PR branch and >> openjdk:master. I know that sometimes it seems not to be worth the hassle, >> but please merge openjdk:master into this PR branch. If nothing else, it >> will trigger GHA to re-test the change. > >>please merge openjdk:master into this PR branch > > Done @turbanoff, what's the status of this PR? What do you plan to do with it next? ------------- PR: https://git.openjdk.org/jdk/pull/9137
