On Wed, 11 May 2022 16:54:28 GMT, Andrew John Hughes <[email protected]> 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