What's gcc-prs for?!?

[Gabriel Dos Reis]

Gerald Pfeifer <gerald@pfeifer.com> writes:

| On Fri, 13 Feb 2004, Daniel Berlin wrote:
| > I can't remove it, i don't have root on sources or anything like that.
| 
| I think Paolo was talking about removing gcc-prs from lists.html. If
| you agree, I can also take care of that; I just didn't want to make
| that change without your knowledge and consent.

And I think we should use it for the bugzilla traffic.

-- Gaby