RFR: 8338817: Wrong indent in API docs for java.lang.management.ManagementFactory
Kevin Walls
kevinw at openjdk.org
Mon Sep 2 11:57:19 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.
before:

after:

-------------
PR Comment: https://git.openjdk.org/jdk/pull/20813#issuecomment-2324571479
More information about the serviceability-dev
mailing list