>>>>> "Thomas" == Thomas De Schampheleire <patrickdepinguin at gmail.com> writes: >>> I think this patch should still be part of 2014.02. >> >> I agree. >> > Peter, now that I have your attention, this one should be applied too > :) (if you agree, of course) Ok ;) Committed, thanks. -- Bye, Peter Korsgaard