mozilla/rust — pull request #10783 by sfackler (2013-12-03 06:43:30+00:00)
Title: Rename std::util::ignore to std::util::drop

It's a more fitting name for the most common use case of this function.