]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #15489 : jakub-/rust/issue-15488, r=pcwalton
authorbors <bors@rust-lang.org>
Mon, 7 Jul 2014 06:31:30 +0000 (06:31 +0000)
committerbors <bors@rust-lang.org>
Mon, 7 Jul 2014 06:31:30 +0000 (06:31 +0000)
Fixes #15488.


Trivial merge