]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8518 : catamorphism/rust/issue-8498-workaround, r=brson
authorbors <bors@rust-lang.org>
Fri, 16 Aug 2013 06:56:14 +0000 (23:56 -0700)
committerbors <bors@rust-lang.org>
Fri, 16 Aug 2013 06:56:14 +0000 (23:56 -0700)
r? @brson


Trivial merge