Skip to content

Fix 'renamed lint' warnings#18808

Closed
ebfe wants to merge 1 commit intorust-lang:masterfrom
ebfe:lint-names
Closed

Fix 'renamed lint' warnings#18808
ebfe wants to merge 1 commit intorust-lang:masterfrom
ebfe:lint-names

Commits

Commits on Nov 10, 2014