On Tue, 27 May 2025 09:35:51 GMT, Viktor Klang <vkl...@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 :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/25462#issuecomment-2915821182
