Closed sbernauer closed 1 year ago
Please add a description here. This will become the commit message of the merge request later.
Once the review is done, comment bors r+ (or bors merge) to merge. Further information
bors r+
bors merge
Running into https://github.com/clap-rs/clap/issues/4733. Works with nightly, no need to do anything AFAIK
Pull request successfully merged into main.
Build succeeded:
Description
Please add a description here. This will become the commit message of the merge request later.
Review Checklist
Once the review is done, comment
bors r+
(orbors merge
) to merge. Further information