Remove unused code from rustc_data_structures::sync#83653
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 5, 2021
Merged
Remove unused code from rustc_data_structures::sync#83653bors merged 2 commits intorust-lang:masterfrom
rustc_data_structures::sync#83653bors merged 2 commits intorust-lang:masterfrom