What's gcc-prs for?!?

[Gabriel Dos Reis]

Gerald Pfeifer <gerald@pfeifer.com> writes:

| On Fri, 13 Feb 2004, Paolo Carlini wrote:
| > after the Bugzilla switch, the list is dead, isn't it?
| >
| > So, why it's still listed in http://gcc.gnu.org/lists.html??
| 
| Daniel?  If you agree, would you mind removing it?

I don't think we should remove it.  When we have had the bugzilla
discussion recently, it has been suggested that bugzilla traffic use
that list by default.

-- Gaby