On Wed, 13 Jul 2022 05:31:27 GMT, Joe Wang <jo...@openjdk.org> wrote:
>> src/java.xml/share/legal/dom.md line 4: >> >>> 2: >>> 3: ### W3C Software Notice >>> 4: <pre> >> >> Since this is a markdown, should this be three back-ticks "```" instead of >> "pre" HTML tag? > > 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. ------------- PR: https://git.openjdk.org/jdk19/pull/138
