On Tue, 2 Jul 2024 22:53:45 GMT, Erik Gahlin <egah...@openjdk.org> wrote:
>> Could I have a review of a change to the jcmd man page? >> >> Testing: tier1 >> >> Thanks >> Erik > > Erik Gahlin has updated the pull request incrementally with two additional > commits since the last revision: > > - Remove accidentally added file > - Remove fix of typo. It will be handled by JDK-8324089 Marked as reviewed by kevinw (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/19942#pullrequestreview-2155832194
