On Thu, 23 Mar 2023 12:45:42 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> Erik Gahlin has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Docs update > > src/java.base/share/man/java.1 line 1344: > >> 1342: after the JVM has exited. >> 1343: If false, files are deleted. >> 1344: By default, this parameters is disabled. > > Do you mean by default it is false? > > Typo: parameters -> parameter It is false by default. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13111#discussion_r1146217088