Synopsis: Patch for PR cli/877
State-Changed-From-To: open->closed
State-Changed-By: ezannoni
State-Changed-When: Mon Feb 3 01:31:12 2003
State-Changed-Why:
I checked in an identical patch from Kevin Buettner instead.
http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=989