On Thu, 6 Apr 2023 03:11:34 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> src/jdk.jcmd/share/man/jcmd.1 line 410: >> >>> 408: If false, files are deleted. >>> 409: By default, this parameter is disabled. >>> 410: .IP \[bu] 2 >> >> Why is this being removed? > > I'm guessing the src used to generate the manpage was missing the very recent > change. Yes, it was rush hour in the jcmd man page, the changes overlapped. Updated this change. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13363#discussion_r1159466247
