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. This pull request has now been integrated. Changeset: cee54de4 Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/cee54de41bc9593dee72a5ae58404808edf417c8 Stats: 7 lines in 3 files changed: 0 ins; 0 del; 7 mod 8319988: Wrong heading for inherited nested classes Reviewed-by: jjg ------------- PR: https://git.openjdk.org/jdk/pull/16641
