On Mon, 24 May 2021 18:49:08 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> mildly worrying that "make docs" did not give errors This should be currently detectable by DocLint: since `</ul>` is consumed by `@code`, the `ul` element is left unclosed. ------------- PR: https://git.openjdk.java.net/jdk/pull/4074
