]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #16553 : nick29581/rust/log, r=huon
authorbors <bors@rust-lang.org>
Thu, 28 Aug 2014 18:36:29 +0000 (18:36 +0000)
committerbors <bors@rust-lang.org>
Thu, 28 Aug 2014 18:36:29 +0000 (18:36 +0000)
When specifying RUST_LOG, the programmer may append `/regex` to the end of the spec. All results will then be filtered using that regex.

r?


Trivial merge