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. Thanks, -- Joel