On Tue, 7 May 2024 11:53:19 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this mechanical change to man pages. This PR should be integrated after https://github.com/openjdk/jdk/pull/18787. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/19119