On Tue, 1 Dec 2020 13:03:30 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Trivial, right? So I can push as soon as tests go green? Please do. ------------- PR: https://git.openjdk.java.net/jdk/pull/1536