On Sun, 4 May 2025 17:20:29 GMT, Eirik Bjørsnøs <eir...@openjdk.org> wrote:
> Nit: Would be nice if the PR title/description made it clear for the casual > reader that this is a documentation/Javadoc typo, as opposed to a code issue. Thanks for the hint. I've updated the PR accordingly. > This gives reviewers some feeling of the size/complexity of the PR without > actually digging into the code. I've tried to make that clear now. Thanks for the feedback and the nice welcome here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25024#issuecomment-2852013683
