mozilla/rust — pull request #4616 by thestinger (2013-01-24 20:15:08+00:00)
Title: remove is_not_empty method from PriorityQueue

Same rationale as #4586.