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? Thanks, Karl
