On Thu, 18 Nov 2021 19:18:24 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Remarkable to have not been noticed for so long! Remarkable, but not too surprising: the PR consists of source files and tests that are not part of the API Documentation. ------------- PR: https://git.openjdk.java.net/jdk/pull/6443