Synopsis: Bug#88694: Info received and FILED only
State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Mon Aug 13 02:17:04 2001
State-Changed-Why:
Not a PR.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3937&database=gcc