[aarch64-port-dev ] git: openjdk/aarch64-port: master: 8272395: Bad HTML in JVMTI man page

[Serguei Spitsyn]

Changeset: e535cb3f
Author:    Serguei Spitsyn <sspitsyn at openjdk.org>
Date:      2021-12-07 08:16:49 +0000
URL:       https://git.openjdk.java.net/aarch64-port/commit/e535cb3fbac11785cfdb43c9b6f73b2a38a621d6

8272395: Bad HTML in JVMTI man page

Reviewed-by: dholmes, iris

! src/hotspot/share/prims/jvmti.xml