On Tue, 27 Jun 2023 17:19:18 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
> I like the new text, it reads well. There's a typo that has been copy pasted > several times however. Thanks, I noticed this when looking at the generated javadoc but didn't commit the change to fix. I'll fix it now. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14679#issuecomment-1609934807