]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11738 : dmanescu/rust/11721, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 28 Jan 2014 05:46:33 +0000 (21:46 -0800)
committerbors <bors@rust-lang.org>
Tue, 28 Jan 2014 05:46:33 +0000 (21:46 -0800)
Fixes #11721


Trivial merge