After a long period of running with the GIT tree, I am shutting down
CVS service today.

Ben


_______________________________________________
DejaGnu mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/dejagnu

Reply via email to