On Tue, Oct 14, 2014 at 09:23:29AM +0200, Marek Polacek wrote: > The consensus seems to be to go forward with this change. I will > commit the patch in 24 hours unless I hear objections. I made the change. Please report any fallout to me. Enjoy. Marek