On Thu, 9 May 2024 08:18:41 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> Please review this mechanical change to man pages. This PR should be >> integrated after https://github.com/openjdk/jdk/pull/18787. > > src/java.base/share/man/java.1 line 3856: > >> 3854: .SH REMOVED JAVA OPTIONS >> 3855: .PP >> 3856: These \f[V]java\f[R] options have been removed in JDK 24 and using them > > This is incorrect. You can't just change 23 to 24 here as the actual set of > flags listed below will be will be different. David, my understanding is that you agree that this is okay (per our out-of-band, follow-up discussion). ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19119#discussion_r1598432769
