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#47302 - andjo403:commentfix, r=michaelwoeri…
…ster fix faulty comment after rust-lang#43506 there is no fixed number of request sent.
- Loading branch information