Prevent constant rebuilds of rustc-main (and thus everything else)#114613
Merged
bors merged 1 commit intorust-lang:masterfrom ferrocene:pa-fix-rebuildAug 9, 2023
+36-21
rustc-main (and thus everything else)#114613