mozilla/rust — pull request #12816 by michaelwoerister (2014-03-10 20:14:24+00:00)
Title: debuginfo: Improve commandline option handling for debuginfo

Fixes #12811 as described in the issue.