On Mon, 23 Nov 2020 07:09:03 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: >> Looks fine. > > @shipilev, @neliasso thanks for the reviews! Thanks for removing. ------------- PR: https://git.openjdk.java.net/jdk/pull/1338