On Wed, 13 Jul 2022 10:13:09 GMT, Lance Andersen <lan...@openjdk.org> wrote:
>> Iris can probably comment on this. It's been the pre tag across the existing >> md files. > > The pre tag is supported for code blocks by most markdown implementations so > this should be OK and as Joe mentions has been there for ages in this file. Agree. I think the `pre` tag will be fine in this instance. ------------- PR: https://git.openjdk.org/jdk19/pull/138
