]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #9233 : catamorphism/rust/issue-4208, r=catamorphism
authorbors <bors@rust-lang.org>
Tue, 17 Sep 2013 04:15:51 +0000 (21:15 -0700)
committerbors <bors@rust-lang.org>
Tue, 17 Sep 2013 04:15:51 +0000 (21:15 -0700)
Closes #4208


Trivial merge