On Mon, 18 Nov 2024 15:55:56 GMT, Jan Lahoda <jlah...@openjdk.org> wrote:
>> So, just to double-check: given the request is to make the helps consistent, >> and dropping the extensions from the concise help is not what was meant, >> I'll add the extensions both here and to the ordinary help. Correct? > > Done here: > https://github.com/openjdk/jdk/pull/21411/commits/d4860961e2ff7e6218a16a2ed3990a0deba3ae1a Thanks. Can you also post a snippet of `java -help` in the summary that shows how your change there looks? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/21411#discussion_r1847274508
