]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8298 : darkf/rust/fix-3948, r=pcwalton
authorbors <bors@rust-lang.org>
Mon, 5 Aug 2013 20:49:55 +0000 (13:49 -0700)
committerbors <bors@rust-lang.org>
Mon, 5 Aug 2013 20:49:55 +0000 (13:49 -0700)

Trivial merge