>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Juergen Spitzmueller wrote: >> Not good enough. I have left out the «guillemots» Juergen> Hmpff. The guillemots need the brackets when they are used as Juergen> closing quotes (otherwise the space to the next word is Juergen> swapped). I have readded them again, so this patch is sane. Lars, can I apply this patch? It looks OK to me. JMarc
