]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11975 : jfager/rust/r8498, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 2 Feb 2014 03:16:26 +0000 (19:16 -0800)
committerbors <bors@rust-lang.org>
Sun, 2 Feb 2014 03:16:26 +0000 (19:16 -0800)
Closes #8498


Trivial merge