>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes: Andre> On Thu, Oct 10, 2002 at 12:40:45PM -0400, Dan Bikel wrote: >>> That does not appear to work, either. Any other suggestions? Andre> M-~S-less Jean-Marc> Lars, I guess that the following patch is OK? Applied now. JMarc