On Tue, Apr 5, 2011 at 12:33 PM, Richard Guenther <richard.guent...@gmail.com> wrote: > The course of action is to simply ask the offender to revert his patches for > now. It has worked reliably in the past, but I can't see any such suggestion > in this particular case (on the mailing-list).
You are right that no-one asked. Actually, I think most people expected the problem to be resolved sooner, either with a fix or by a temporary reverted commit. In this case Bernd could not reproduce the issue and that slowed things down of course. But personally, I would have reverted the patch for the moment and try to figure out the problem before re-committing. That's also worked reliably in the past (Vlad did so recentlty for his IRA improvements, for example) and that's the decent thing to do. The whole policy we're discussing here is a last resort. Ciao! Steven
