On Jun 14, 2012, at 19:00 , Jakub Jelinek wrote: > For reverting it is too late, 4.7.1 has been released already with the bug.
> I'm already bootstrapping/regtesting the simple one-liner, if it works, will > post it. Thanks. So sorry again :-( Olivier
