On Tue, 7 Dec 2021 00:27:45 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
> This fix adds escaping of invalid characters '[]' for 3 URLs defined in the > jvmti.xml. > This file is a base to generate the jvmti.html. This pull request has now been integrated. Changeset: e535cb3f Author: Serguei Spitsyn <sspit...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/e535cb3fbac11785cfdb43c9b6f73b2a38a621d6 Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 mod 8272395: Bad HTML in JVMTI man page Reviewed-by: dholmes, iris ------------- PR: https://git.openjdk.java.net/jdk/pull/6730