On Thu, 29 Oct 2020 15:34:58 GMT, Vladimir Kozlov <k...@openjdk.org> wrote:

> Good

Thanks for reviewing. Will integrate beginning of next week.

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

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

Reply via email to