git: openjdk/mobile: 2 new changesets

[duke]

Changeset: aecbb1b5
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2023-08-18 16:40:51 +0000
URL:       https://git.openjdk.org/mobile/commit/aecbb1b5c3ea4919f09ce98a6f5a58db6e630d29

8314448: Coordinate DocLint and JavaDoc to report on unknown tags

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/taglets/TagletManager.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java
! test/langtools/jdk/javadoc/doclet/testAutoLoadTaglets/TestAutoLoadTaglets.java
+ test/langtools/jdk/javadoc/doclet/testUknownTags/TestUnknownTags.java

Changeset: 269d1b29
Author:    duke <duke at openjdk.org>
Date:      2023-08-18 16:41:50 +0000
URL:       https://git.openjdk.org/mobile/commit/269d1b294569df059ac60604d22ceb5bbaf33afb

Automatic merge of jdk:master into master