On Mon, 18 Nov 2024 21:05:41 GMT, Magnus Ihse Bursie <[email protected]> wrote:
> I think it makes sense to include the version. I have no strong opinions on > the format. Is the extract in the PR description updated with the latest > version changes? Yes, the description is updated with the output, and I've also added the full `java -help` output. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21411#issuecomment-2485055240
