Re: Very small bug

At 14:31 08.01.2003 +0100, Lars Henriksen wrote:
>On Mon, Jan 06, 2003 at 07:35:03PM +0100, Dieperink Alwin wrote:
> > Hi Yngve,
> >
> > Here is a small correction for gnatsweb.pl. Without this, gnatsweb writes a
> > warning in the logfile.
> >
> > Regards,
> > -- Alwin
> >
> >
> > 1362c1362
> > <            && ($2 !=~ "compatible") )
> > ---
> > >            && ($2 !~ "compatible") )
>
>There's more. Opera (at least version 6.04) also doesn't like the double
>encoding.

I committed the fix for Opera. "Advanced" mailto links are really a 
horrible mess since browsers decode them differently, and mail clients may 
also handle them in different ways.

- Yngve