On Thu, 26 Nov 2020 21:25:11 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Filed as [JDK-8256313](https://bugs.openjdk.java.net/browse/JDK-8256313). > > In javac Arguments class, we should delete these lines at about 855 > > ` > String format = options.get(Option.DOCLINT_FORMAT); > if (format != null) { > doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format); > } > ` > > This could be a separate JBS issue, if you prefer. Filed as [JDK-8257204](https://bugs.openjdk.java.net/browse/JDK-8257204). ------------- PR: https://git.openjdk.java.net/jdk/pull/893
