git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 1d87958e
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2020-06-17 09:24:28 +0000
URL:       https://git.openjdk.java.net/mobile/commit/1d87958e

8243113: Always identify version of javadoc used to generate docs

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/Head.java
! test/langtools/jdk/javadoc/doclet/testGeneratedBy/TestGeneratedBy.java
! test/langtools/jdk/javadoc/doclet/testHeadTag/TestHeadTag.java

Changeset: 6ef8451f
Author:    duke <duke at openjdk.org>
Date:      2020-06-17 16:28:49 +0000
URL:       https://git.openjdk.java.net/mobile/commit/6ef8451f

Automatic merge of jdk:master into master