Synopsis: Bug#88959: Info received and FILED only
State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Thu Jul 19 00:53:21 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=3515&database=gcc