On Fri, 14 May 2021 20:49:35 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> In the course of other work, I came across this deprecated constructor in Log > which just existed for a public entry point in javadoc which has already been > removed. > > There is one remaining use in javadoc, which can be changed to use an > alternate non-deprecated constructor. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/4037
