On Thu, 1 Feb 2024 07:12:08 GMT, David Holmes <dhol...@openjdk.org> wrote:

> Seems fine. Thanks

Trivial?

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

PR Comment: https://git.openjdk.org/jdk/pull/17656#issuecomment-1922036034

Reply via email to