]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14788 : Sawyer47/rust/issue-13214, r=huonw
authorbors <bors@rust-lang.org>
Wed, 11 Jun 2014 13:02:10 +0000 (06:02 -0700)
committerbors <bors@rust-lang.org>
Wed, 11 Jun 2014 13:02:10 +0000 (06:02 -0700)
Closes #13214


Trivial merge