mozilla/rust — pull request #12982 by brson (2014-03-17 20:59:15+00:00)
Title: std: Improve option docs

Various improvements. There's a lot more that can be done.