On Thu, 1 Feb 2024 07:12:08 GMT, David Holmes <dholmes at openjdk.org> wrote: > Seems fine. Thanks Trivial? ------------- PR Comment: https://git.openjdk.org/jdk/pull/17656#issuecomment-1922036034