On Thu, 14 Jan 2021 13:41:45 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote: > Looks good. Hi Vladimir, Please suggest if its ok to push this patch with one reviewer approval. ------------- PR: https://git.openjdk.java.net/jdk/pull/2080