Skip to content

Lint off the old "drop" notation#5291

Closed
pcwalton wants to merge 11 commits intorust-lang:incomingfrom
pcwalton:drop-lint
Closed

Lint off the old "drop" notation#5291
pcwalton wants to merge 11 commits intorust-lang:incomingfrom
pcwalton:drop-lint

Commits