On 05.09.2016 15:05, Heiko Schocher wrote: > @Richard: Should we just forget this patch? Let's drop it for now. It caused already a way more churn than a trivial style cleanup patch should... Thanks, //richard