Decision on gccbug?

[Wolfgang Bangerth]

> In the same way that we don't simply remove target support without
> warning users for a release or two, I think it would be poor form to
> simply nuke gccbug.  At least one release should be made with a
> version of gccbug that explains that it is no longer in use and that
> users should file bug reports into Bugzilla.

That's just as fine with me. Although the situation is somewhat different: if 
you remove a target, the compiler is useless for those on that system. Here, 
they can (and should) still use the web interface.

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/