Skip to content

rustc_plugin: Remove some remaining plugin features#66905

Merged
bors merged 5 commits into
rust-lang:masterfrom
petrochenkov:rmplugin2
Dec 2, 2019
Merged

rustc_plugin: Remove some remaining plugin features#66905
bors merged 5 commits into
rust-lang:masterfrom
petrochenkov:rmplugin2

rustc_plugin: Some further cleanup

e5944a5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs