On Thu, 1 Jan 2026 14:39:14 GMT, Lutz Schmidt <[email protected]> wrote:

> Changes look good.

Thanks for the review !

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

PR Comment: https://git.openjdk.org/jdk/pull/28851#issuecomment-3704735509

Reply via email to