On Thu, 18 May 2023 19:14:02 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> Replace `<pre>{@code ...}</pre>` patterns and the like with `{@snippet
>> lang=java : ...}`.
>
> Brian Burkhalter has updated the pull request incrementally with one
> additional commit since the last revision:
>
> 8308016: Address reviewer comments since previous commit
Thanks for the updates.
-------------
Marked as reviewed by rriggs (Reviewer).
PR Review: https://git.openjdk.org/jdk/pull/13957#pullrequestreview-1437322626
