Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom
SimonSapin:plugin-help
Oct 19, 2019

Commits

Commits on Oct 17, 2019