Skip to content

tidy: error if a lang feature is already present#102971

Merged
bors merged 1 commit intorust-lang:masterfrom est31:tidy_duplicate_lang_featuresOct 13, 2022
+137-126

Commits

Commits on Oct 12, 2022