delete mentions of type ascription from lint descriptions#105614
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 13, 2022
Merged
delete mentions of type ascription from lint descriptions#105614bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Dec 12, 2022
- committed
Lukas Markeffsky