On Wed, 1 Mar 2023 19:07:40 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.
>
> Pavel Rappo has updated the pull request incrementally with one additional
> commit since the last revision:
>
> fix!: mistyped {@code}
Marked as reviewed by jjg (Reviewer).
-------------
PR: https://git.openjdk.org/jdk/pull/12811
