]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #16580 : steveklabnik/rust/gh1498, r=pcwalton
authorbors <bors@rust-lang.org>
Tue, 19 Aug 2014 01:26:14 +0000 (01:26 +0000)
committerbors <bors@rust-lang.org>
Tue, 19 Aug 2014 01:26:14 +0000 (01:26 +0000)
Fixes #14948


Trivial merge