On Wed, 1 Mar 2023 18:47:14 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this trivial fix for _comments_. While some affected comments > aren't doc comments and none of the affected comments partake in the API > Documentation, it seems reasonable to be consistent. Inadvertently found one more typo and fixed it in 17d9c07. Unlike other typos in this PR, that one crept into JDK Documentation. Please (re)review this PR. ------------- PR: https://git.openjdk.org/jdk/pull/12811
