RFR: 8338817: Wrong indent in API docs for java.lang.management.ManagementFactory

Kevin Walls kevinw at openjdk.org
Tue Sep 3 07:55:20 UTC 2024


On Mon, 2 Sep 2024 11:50:11 GMT, Kevin Walls <kevinw at openjdk.org> wrote:

> Trivial change.
> Javadoc has a misplaced and unnecessary blockquote tag which cuts across two sections.  Removing this fixes the odd indent.

Thanks Alan and Daniel!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/20813#issuecomment-2325836663


More information about the serviceability-dev mailing list