On Mon, 13 Nov 2023 21:45:51 GMT, Hannes Wallnöfer <hann...@openjdk.org> 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
