]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11142 : alan-andrade/rust/improve_opts_example, r=cmr
authorbors <bors@rust-lang.org>
Tue, 31 Dec 2013 07:11:49 +0000 (23:11 -0800)
committerbors <bors@rust-lang.org>
Tue, 31 Dec 2013 07:11:49 +0000 (23:11 -0800)
Ran into this in practice, fixing it to improve example correctness.


Trivial merge