pending/3999: Bug#108036: Info received and FILED only

[neil@gcc.gnu.org]

Synopsis: Bug#108036: Info received and FILED only

State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Mon Aug 13 02:16:34 2001
State-Changed-Why:
    Not a PR.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3999&database=gcc