Subject: [Mud] mud-discuss google group removed

From: "Marc Blanchet" <[email-masked]>
Date: Tue, 14 May 2019 16:11:54 -0400

Hello,
  as stated before, the mud-discuss google group has now been removed. 
Please continue discussion on this list.

Regards, Marc.