On Mon, 13 Nov 2023 21:45:51 GMT, Hannes Wallnöfer <[email protected]> wrote:
> Please review a trivial fix to make javadoc use the correct heading for > listings of inherited nested classes. Marked as reviewed by jjg (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16641#pullrequestreview-1740394160
