]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #25785 - arielb1:cleanup-201505, r=eddyb
authorbors <bors@rust-lang.org>
Tue, 26 May 2015 12:15:30 +0000 (12:15 +0000)
committerbors <bors@rust-lang.org>
Tue, 26 May 2015 12:15:30 +0000 (12:15 +0000)
The caching essentially eliminates "stability checking" time (my attempt to clean-up junk got tangled up with stability, so I added the caching while I was at it).

r? @eddyb

1  2 
src/librustc_lint/builtin.rs

Simple merge