[RFC/www] Replace sources.redhat.com by sourceware.org?

[Thiemo Seufer]

Daniel Jacobowitz wrote:
> On Mon, Dec 18, 2006 at 03:16:48PM +0400, Joel Brobecker wrote:
> > Hello,
> > 
> > I noticed that we are still refering to sources.redhat.com in the GDB
> > web pages. Shouldn't we be using sourceware.org instead? I can make
> > the change in the HTML, but I want to make sure it is desired first.
> 
> Yes, please do!

FWIW, CONTRIBUTE also still mentions gdb-patches@sources.redhat.com.


Thiemo