other/10203: version.c: bug_report_url is outdated

[Janis Johnson]

On Tue, Mar 25, 2003 at 03:49:57PM -0000, bangerth@dealii.org wrote:
> Synopsis: version.c: bug_report_url is outdated
> 
> State-Changed-From-To: open->analyzed
> State-Changed-By: bangerth
> State-Changed-When: Tue Mar 25 15:49:56 2003
> State-Changed-Why:
>     Zack already confirmed this, which I do again hereby. I
>     think this is really something that we need to clear before
>     the next release, one way or other, so I raise the priority.

Most of the GCC documentation has links to http://gcc.gnu.org.
In gcc/doc/*.texi, the only links to http://www.gnu.org are
for GNU docs, not mirrored GCC docs.

Unless someone complains, I'll apply the patch (mainline and
3.3-branch) and close this PR later today.

Janis