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. looks good ------------- Marked as reviewed by vromero (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/4037
