On 20 November 2013 23:57, Cesar Philippidis wrote: > > Is this patch OK? Is so, please commit it because I do not have an svn > account. Yes, that looks OK, thanks. I'll commit it tomorrow.