mozilla/rust — pull request #12007 by Arcterus (2014-02-03 01:02:29+00:00)
Title: Move getopts out of extra

Should help towards finishing #8784.