On Thu, 1 Feb 2024 17:01:11 GMT, Roger Riggs <rri...@openjdk.org> wrote:

> lgtm

Thanks @RogerRiggs.

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

PR Comment: https://git.openjdk.org/jdk/pull/17643#issuecomment-1922050326

Reply via email to