>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Thu, Sep 26, 2002 at 09:14:25AM +0200, Juergen Spitzmueller John> wrote: >> Juergen Spitzmueller wrote: > Not good enough. I have left out the >> «guillemots» >> >> Hmpff. The guillemots need the brackets when they are used as >> closing quotes (otherwise the space to the next word is swapped). I >> have readded them again, so this patch is sane. John> This patch seems to have passed us by ... Lars ? JMarc ? I'll apply it. JMarc
