rustc_interface: Dismantle register_plugins query#114578
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 8, 2023
Merged
rustc_interface: Dismantle register_plugins query#114578bors merged 1 commit intorust-lang:masterfrom
register_plugins query#114578bors merged 1 commit intorust-lang:masterfrom