]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #6848 : pcwalton/rust/issue-6352, r=pcwalton
authorbors <bors@rust-lang.org>
Fri, 31 May 2013 06:31:48 +0000 (23:31 -0700)
committerbors <bors@rust-lang.org>
Fri, 31 May 2013 06:31:48 +0000 (23:31 -0700)
r? @nikomatsakis


Trivial merge