> 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}
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/12811/files
- new: https://git.openjdk.org/jdk/pull/12811/files/656177c4..17d9c07d
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=12811&range=01
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=12811&range=00-01
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.org/jdk/pull/12811.diff
Fetch: git fetch https://git.openjdk.org/jdk pull/12811/head:pull/12811
PR: https://git.openjdk.org/jdk/pull/12811
