Skip to content

Closure lint wording#87984

Merged
bors merged 2 commits intorust-lang:masterfrom
m-ou-se:closure-lint-wording
Aug 13, 2021
Merged

Closure lint wording#87984
bors merged 2 commits intorust-lang:masterfrom
m-ou-se:closure-lint-wording

Commits

Commits on Aug 13, 2021