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#57290 - mark-i-m:remove-outdated-comment, r…
…=michaelwoerister remove outdated comment rust-lang#44234 was closed, apparently solved by rust-lang#45353 r? @michaelwoerister
- Loading branch information