On Sun, Dec 23, 2007 at 11:10:04AM -0600, Karl Berry wrote: > The (gnu)robots project is now unmaintained (I just heard from the > developer). > > Before I start advertising for a new maintainer ... in savannah, it is > named "robots", but it is named "gnurobots" on ftp.gnu.org and in the > Free Software Directory. There are no mailing lists that I can see. So > can we rename it to gnurobots in savannah too, for consistency?
OK, done. (I prefer when projects name don't have "gnu" in them though :)) -- Sylvain
