On Mon, 14 Nov 2022 19:04:49 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this trivial documentation change that fixes a typo > accidentally found while comparing javadoc output for an unrelated change in > jdk.javadoc. Looks like a day 1 bug. Changes look good. ------------- Marked as reviewed by cjplummer (Reviewer). PR: https://git.openjdk.org/jdk/pull/11140
