On Mon, 18 Nov 2024 15:22:59 GMT, Christian Stein <cst...@openjdk.org> wrote:

> Please review this improvement to the manual page covering the usage of 
> wildcards in `java`'s argfiles.

No, that was an oversight. Good catch!

I will remove that sentence (second last bullet point) in favor of the 
augmented one (third bullet point) of this PR.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/22208#issuecomment-2484783967

Reply via email to