On Wed, 14 Dec 2022 17:43:08 GMT, nbauma109 <d...@openjdk.org> wrote:
> I think this is a typo Yeah this looks like a typo, but it doesn't fall under the `javadoc` tag—that's for the `javadoc` tool and related, not for issues in documentation. This might require a [CSR](https://wiki.openjdk.org/display/csr/Main) despite it being a minor typo. ------------- PR Comment: https://git.openjdk.org/jdk/pull/11679#issuecomment-1375008690
