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#132284 - camelid:rm-ping, r=workingjubilee Remove my ping for rustdoc/clean/types.rs It was useful at one time, but now it just causes notification noise.
- Loading branch information