stopping CVS service

[Ben Elliston]

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

Ben


_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
http://lists.gnu.org/mailman/listinfo/dejagnu