git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 6f1071f5
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2023-08-17 07:43:07 +0000
URL:       https://git.openjdk.org/mobile/commit/6f1071f5ed6bd552378b2b70cd685b74e7f9e43d

8314213: DocLint should warn about unknown standard 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

Changeset: 22d29fee
Author:    duke <duke at openjdk.org>
Date:      2023-08-17 07:43:48 +0000
URL:       https://git.openjdk.org/mobile/commit/22d29fee8f76288b4e18445e3b0163705a5205d6

Automatic merge of jdk:master into master