I just came to think of contrib/warn_summary... how does that filter out different stages warnings since this change?
-- Cheers, /ChJ
- Re: Hard to tell what stage the bootstrap is on Christian Joensson
- Re: Hard to tell what stage the bootstrap is on Kaveh R. Ghazi
- Re: Hard to tell what stage the bootstrap is on Paolo Bonzini
- Re: Hard to tell what stage the bootstrap is o... Daniel Jacobowitz
