On Mon, 14 Dec 2020 04:52:02 GMT, David Holmes <dhol...@openjdk.org> wrote:

> Hi Thomas,
> Not an expert but this all seems quite reasonable to me.
> Thanks,
> David

Thanks David!

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

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

Reply via email to