git: openjdk/jdk: 8319948: jcmd man page needs to be updated
David Holmes
dholmes at openjdk.org
Wed Jan 3 22:32:10 UTC 2024
Changeset: 028ec7e7
Author: David Holmes <dholmes at openjdk.org>
Date: 2024-01-03 22:30:54 +0000
URL: https://git.openjdk.org/jdk/commit/028ec7e744f06cd8429b7b74d7b6f7020133aa94
8319948: jcmd man page needs to be updated
Co-authored-by: Thomas Stuefe <stuefe at openjdk.org>
Reviewed-by: kevinw, alanb
! src/jdk.jcmd/share/man/jcmd.1
More information about the jdk-changes
mailing list