On Thu, 27 May 2021 03:20:34 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review an update to `jdk.javadoc/jdk.javadoc.doclets.Reporter` to add > 3 new methods and to improve the descriptions of other parts of the interface. > > The new methods provide access to the underlying streams (informally, for > standard output and diagnostic output), and a new `report` method to report > diagnostics at an arbitrary position in a file being read by a doclet, or a > taglet within a doclet. > As far as I understand #4077 will be closed as superseded by this PR? Yes, I've closed the PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/4216
