On Tue, 21 Jun 2022 19:23:30 GMT, Pavel Rappo <[email protected]> wrote:
> Please review this trivial change. Note that the meat of the change is > well-tested by the following existing tests: > > - test/langtools/jdk/javadoc/doclet/testSystemPropertyPage > - test/langtools/jdk/javadoc/doclet/testIndexInDocFiles Marked as reviewed by jjg (Reviewer). ------------- PR: https://git.openjdk.org/jdk19/pull/56
