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