]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10886 : alexcrichton/rust/snapshots, r=huonw
authorbors <bors@rust-lang.org>
Tue, 10 Dec 2013 15:41:37 +0000 (07:41 -0800)
committerbors <bors@rust-lang.org>
Tue, 10 Dec 2013 15:41:37 +0000 (07:41 -0800)
Makes the `dead_code` lint a citizen of stage0 to silence the "unknown lint"
warnings.


Trivial merge