MUD-Dev3

MUD-Dev3 is an attempt to create a new MUD-Dev mailing list hosted at Google Groups. It was initiated in February, 2013.