Hallo Ralf, On 9 Aug 2010, at 12:15, Ralf Wildenhues wrote: > I think we should have a rule to not apply pure optimization patches > without measurement results.
Agreed. We should document that somewhere too, so that we don't forget. Cheers, -- Gary V. Vaughan (g...@gnu.org)