On Fri, 16 May 2025 18:13:45 GMT, Roger Riggs <rri...@openjdk.org> wrote:

> Is this better?

I think it is clearer.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/24728#discussion_r2093501372

Reply via email to