git: openjdk/jdk: 8272395: Bad HTML in JVMTI man page

Serguei Spitsyn sspitsyn at openjdk.java.net
Tue Dec 7 08:17:39 UTC 2021


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

8272395: Bad HTML in JVMTI man page

Reviewed-by: dholmes, iris

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



More information about the jdk-changes mailing list