Synopsis: Bug#86251: Info received and FILED only
State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Thu Jul 19 00:51:53 2001
State-Changed-Why:
Yawn. We really must get this fixed. Not a bug report.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3514&database=gcc