On Wed, 3 Nov 2021 19:05:07 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> This PR is to jdk.javadoc as JDK-8276348 (#6213) to java.base. This change > was produced by running the below command: > > $ sh ./bin/blessed-modifier-order.sh src/jdk.javadoc Marked as reviewed by jjg (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/6239
