]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #13982 : alexcrichton/rust/more-logging, r=nikomatsakis
authorbors <bors@rust-lang.org>
Tue, 6 May 2014 23:31:39 +0000 (16:31 -0700)
committerbors <bors@rust-lang.org>
Tue, 6 May 2014 23:31:39 +0000 (16:31 -0700)
This was accidentally left out of the recent logging improvements.


Trivial merge