web/9542: How to change a PR without an account?

[bangerth@dealii.org]

Old Synopsis: How to change gnats requests?
New Synopsis: How to change a PR without an account?

State-Changed-From-To: open->closed
State-Changed-By: bangerth
State-Changed-When: Sat Mar 15 18:38:12 2003
State-Changed-Why:
    You can't change reports without an account. However, if
    you send email to gcc-gnats@gcc.gnu.org with a subject
    line as (this is for the present report)
      Re: web/9542: How to change gnats requests?
    then the mail is attached to the audit trail of the
    report.
    
    Things might be different once we switch to bugzilla instead
    of gnats, which we hope to do soon.
    
    Thanks
      W.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9542