On Fri, 19 Jul 2024 01:44:16 GMT, Chris Plummer <[email protected]> wrote:

> Fix issue with `<pid>` argument.

Looks good.

Thanks

-------------

Marked as reviewed by dholmes (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/20246#pullrequestreview-2187267950

Reply via email to