On Wed, 5 Mar 2025 17:54:04 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: > Thanks Brian - it reads better to me. Thanks for noticing it. ------------- PR Comment: https://git.openjdk.org/jdk/pull/23919#issuecomment-2701692972