On Thu, 10 Dec 2020 16:28:59 GMT, Harold Seigel <hsei...@openjdk.org> wrote:

> The changes look good. Thanks for doing this.

Thanks for the review!

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

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

Reply via email to