Skip to content

Rename two lints to comply with our lint naming convention#7504

Merged
bors merged 1 commit intorust-lang:masterfrom
flip1995:rename-lints
Jul 29, 2021
Merged

Rename two lints to comply with our lint naming convention#7504
bors merged 1 commit intorust-lang:masterfrom
flip1995:rename-lints

Commits

Commits on Jul 29, 2021