Subject: [Spasm] Changing mailing list to LAMPS?

From: Sean Leonard <[email-masked]>
Date: Sun, 25 Sep 2016 19:02:00 -0700

I thought that since the WG name was changed to LAMPS, that the mailing list name was going to change to LAMPS too.  What’s going on with that?

Regards,

Sean