On Fri, 31 May 2024 16:30:55 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:

> Approved and trivial.

Thanks for the review and approved.

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

PR Comment: https://git.openjdk.org/jdk/pull/19499#issuecomment-2142650762

Reply via email to