On 08/12/2013 05:32 PM, Arnout Vandecappelle wrote: > Seems to me that this patch should be dropped since it's a feature > patch. Martin, you added it and Gustavo acked it in 2010. OK to drop it? +1 it doesn't seem to be upstreamed and it's cosmetic. Regards.