Synopsis: Bug#85445: Info received and FILED only
State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Mon Jul 2 04:09:12 2001
State-Changed-Why:
Geez, can't we get rid of these things? This is not a PR.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3505&database=gcc