On Mon, 16 Nov 2020 10:24:46 GMT, Aleksey Shipilev <sh...@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

Reply via email to