Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#120372 - bjorn3:fix_outdated_comment, r=Nilstrieb Fix outdated comment on Box Caught by `@vi` in rust-lang#113960 (comment)
- Loading branch information