Re: build/2534: Tiny fixes for gnu-nat and another enhancement

[tschwinge]

Synopsis: Tiny fixes for gnu-nat and another enhancement

Responsible-Changed-From-To: unassigned->tschwinge
Responsible-Changed-By: tschwinge
Responsible-Changed-When: Thu Oct  9 16:12:36 2008
Responsible-Changed-Why:
    Pedro took care about the first patch, I did just now apply the two 
remaining ones.
State-Changed-From-To: open->closed
State-Changed-By: tschwinge
State-Changed-When: Thu Oct  9 16:12:36 2008
State-Changed-Why:
    All issues have been addressed and patches applied, thus closing.

http://sourceware.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=2534