On Thu, 22 Oct 2020 23:06:10 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:

> 
> 
> Looks good.

Thank you. I'll wait for a second review assuming it's required.

-------------

PR: https://git.openjdk.java.net/jdk/pull/775

Reply via email to