On Mon, 9 Nov 2020 09:19:59 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: >> Looks good to me. > > @coleenp or other runtime folks might want to take a look as well? Anyone else? :) ------------- PR: https://git.openjdk.java.net/jdk/pull/728