Skip to content

make a bunch of lints texts adhere to rustc dev guide#5888

Merged
bors merged 27 commits intorust-lang:masterfrom
matthiaskrgr:lints
Aug 10, 2020
Merged

make a bunch of lints texts adhere to rustc dev guide#5888
bors merged 27 commits intorust-lang:masterfrom
matthiaskrgr:lints

Commits

Commits on Aug 10, 2020