On Wed, 28 May 2025 10:33:12 GMT, Doug Lea <d...@openjdk.org> wrote: >> I had to tweak the language a bit to better reflect the intent of the text. > > This seems OK. Maybe needlessly pedantic, but OK :-)
@DougLea You know me. :) Thanks for having a look! :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/25462#issuecomment-2916025390
