On Aug 20 14:07, Jordi Sanfeliu wrote: > Hi Corinna, > > Find the new patch attached. Still not quite in the git format-patch style, but never mind for now. Patch pushed. Thanks, Corinna