Plugins deprecation: don’t suggest simply removing the attribute#65498

Merged

bors merged 1 commit intorust-lang:masterfrom SimonSapin:plugin-help

Oct 19, 2019

+84-78

Commits on Oct 17, 2019

Plugins deprecation: don’t suggest simply removing the attribute
SimonSapin
committed