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