On Mon, May 11, 2015 at 12:00:30PM +0200, Ingo Molnar wrote: > > I'm for the clean revert I think. Crashing is bad, but hiding/delaying > > it seems counter productive too, it'll just mean we'll only learn about > > it later. > > So should I revert c05199e5a57a, with a Cc: stable?