On Thu, 1 Sep 2022 14:13:23 GMT, Aleksey Shipilev <[email protected]> wrote:
> > @shipilev Nevermind, I just noticed #10099. :) > > Turns out, #10099 only fixes it for 20.04. For 22.04, #10113 fixes it... > Argh. Merging and re-testing. It is finally clean! I'll wait for more reviews, I think. ------------- PR: https://git.openjdk.org/jdk/pull/10084
