mozilla/rust — pull request #7516 by sfackler (2013-07-01 00:15:10+00:00)
Title: Fixed documentation for finalize->drop change

Should the warning about renaming be dropped now?