On Mon, 16 Nov 2020 10:24:46 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > This looks fine to me. Thanks @shipilev for your review. Will push it tomorrow if there is no objection. ------------- PR: https://git.openjdk.java.net/jdk/pull/1116