On Wed, 11 May 2022 16:54:28 GMT, Andrew John Hughes <and...@openjdk.org> wrote:

> Looks good to me. Hopefully we caught everything.

Thanks @gnu-andrew.

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

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

Reply via email to