Re: gnatsweb PR status change messages

[Yngve Svendsen]

At 22:29 13.11.2001 +0100, Gerald Pfeifer wrote:
> Thanks!
>
> Yngve, we now have this patch in production on gcc.gnu.org and it works
> as expected -- unless there are strong reasons against, I recommend to
> include it for the 2.9x branch.
>
> (If you want, I can create a ChangeLog and apply the patch.)

Gerald, please do. I have no idea why this wasn't working properly in 
previous 2.9.x versions. Seems it's time for a 2.9.3 pretty soon.

- Yngve