git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 56abdc17
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2020-06-09 19:34:18 +0000
URL:       https://git.openjdk.java.net/mobile/commit/56abdc17

8246712: doclint incorrectly reports some HTML elements as empty

Reviewed-by: prappo

! src/jdk.compiler/share/classes/com/sun/tools/doclint/Checker.java
+ test/langtools/tools/doclint/EmptyHtmlTest.java

Changeset: 7aac74b2
Author:    duke <duke at openjdk.org>
Date:      2020-06-10 02:43:10 +0000
URL:       https://git.openjdk.java.net/mobile/commit/7aac74b2

Automatic merge of jdk:master into master