On Mon, Dec 05, 2016 at 10:22:13AM +0100, Dominik Vogt wrote: > Sorry for breaking this. With the constant changes in the > patterns this is supposed to fix it seems I've lost track of the > status quo. I'll check what went wrong with the patch; in the > mean time Andreas will revert this, or if it's urgent, feel free > to do that yourself.
I've reverted it now, r243256. Thanks, Segher