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