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#103039 - RalfJung:checktools, r=Dylan-DPC
checktools: fix comments This bothers me each time I see it, time to fix it. ;) r? ``@Mark-Simulacrum``
- Loading branch information