On Wed, 13 Jul 2022 16:28:10 GMT, Iris Clark <i...@openjdk.org> wrote:
>> 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. Thanks! ------------- PR: https://git.openjdk.org/jdk19/pull/138
