Open shannmu opened 1 week ago
related issue: https://github.com/clap-rs/clap/issues/3919
If this isn't closing out the issue, what is left?
If this isn't closing out the issue, what is left?
I don't understand what you mean. Adding the related issue is for easier tracking :)
I don't understand what you mean. Adding the related issue is for easier tracking :)
The language used doesn't make this sound like the issue is fully resolved by this PR, so I was asking what is left. In fact, there are standardized terms for fully resolving an issue as Github has support for keywords to link PRs to issues (not just backlinks) and even auto-close issues.
Closes https://github.com/clap-rs/clap/issues/3919