Integrated: 8272395: Bad HTML in JVMTI man page

[Serguei Spitsyn]

On Tue, 7 Dec 2021 00:27:45 GMT, Serguei Spitsyn <sspitsyn at 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 <sspitsyn at 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