]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #7534 : bblum/rust/soundness-messages, r=catamorphism
authorbors <bors@rust-lang.org>
Wed, 3 Jul 2013 22:25:55 +0000 (15:25 -0700)
committerbors <bors@rust-lang.org>
Wed, 3 Jul 2013 22:25:55 +0000 (15:25 -0700)

Trivial merge