mozilla/rust — pull request #11073 by klutzy (2013-12-19 15:59:13+00:00)
Title: Fix small errors from #10978

This patchset fixes small glitches which caused #10978.