On Tue, 7 May 2024 11:53:19 GMT, Pavel Rappo <pra...@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 PR is standalone as opposed to dependent because the https://github.com/openjdk/jdk/pull/18787 dependency currently has a merge conflict, which complicates the required workflow. This comment serves as a reminder to merge master into this PR once https://github.com/openjdk/jdk/pull/18787 has been integrated. If we don't do that, Skara will likely create a backport issue: > (⚠️ The fixVersion in this issue is [24] but the fixVersion in .jcheck/conf > is 23, a new backport will be created when this pr is integrated.) ------------- PR Comment: https://git.openjdk.org/jdk/pull/19119#issuecomment-2098246931