]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #10874 - weihanglo:cleanup-unstable, r=ehuss
authorbors <bors@rust-lang.org>
Sun, 17 Jul 2022 18:05:09 +0000 (18:05 +0000)
committerbors <bors@rust-lang.org>
Sun, 17 Jul 2022 18:05:09 +0000 (18:05 +0000)
Clean up leftover in unstable documentation

### What does this PR try to resolve?

- Fix the name of the link to `--keep-going` original issue.
- Clean up leftover of `strip` option in unstable documentation.


Trivial merge