On Mon, 2 Sep 2024 11:50:11 GMT, Kevin Walls <kev...@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 <kev...@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
