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. Marked as reviewed by jjg (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12811