On Fri, 20 Dec 2024 12:33:59 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> whether the man page needs update. If you think that's needed then I'm fine to follow up with it. I don't think that's warranted. There will be a release note. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22494#issuecomment-2556927878
