mozilla/rust — pull request #10372 by catamorphism (2013-11-09 00:21:41+00:00)
Title: extra / rustpkg: Make getopts::opt_val private again

and use opt_str instead of opt_val in rustpkg

Closes #9311