Re: document the bug-tracker Web site?

[Stefan Monnier]

>> I don't see why we should wait.  We use it right now, so it's "the real
>> thing".  When we move it elsewhere (or switch to some other tool), we
>> will need to update the page correspondingly.
> So we end up with versions of the manuals out there with an obsolete bug
> database site address, which we knew in advance would happen before we
> released those manuals.

Sorry, I misunderstood.  Yes, we should point to a gnu.org URL whose
content will then redirect (either as an http redirect or as a plain
web page) the user to the current bug tracker.


        Stefan