mozilla/rust — pull request #5291 by pcwalton (2013-03-09 00:57:13+00:00)
Title: Lint off the old "drop" notation

r? @nikomatsakis