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

Kevin Walls kevinw at openjdk.org
Tue Sep 3 07:59:22 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.

This pull request has now been integrated.

Changeset: ed422ed1
Author:    Kevin Walls <kevinw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ed422ed1a3d6cdb733bc878c4173b43eb2dfb3da
Stats:     3 lines in 1 file changed: 0 ins; 2 del; 1 mod

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

Reviewed-by: alanb, dfuchs

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

PR: https://git.openjdk.org/jdk/pull/20813


More information about the serviceability-dev mailing list