I'm just letting people know that Mailman was upgraded today to version 2.1.13<div><br></div><div>Gordon</div>