Synopsis: small bugs and patches for some tools Responsible-Changed-From-To: unassigned->yngves Responsible-Changed-By: yngves Responsible-Changed-When: Tue, 24 Sep 2002 15:59:54 -0400 Responsible-Changed-Why: - State-Changed-From-To: open->closed State-Changed-By: yngves State-Changed-When: Tue, 24 Sep 2002 15:59:54 -0400 State-Changed-Why: Just cleaning up the GNATS GNATS database. According to the changelogs, these patches have all been applied by Milan, so I am closing this. Thanks. _______________________________________________ Gnats-prs mailing list Gnats-prs@gnu.org http://mail.gnu.org/mailman/listinfo/gnats-prs