2024-03-29 - mailman
17:38	<andrewbogott>	deleting mailman03 on amir1's advice.	[mailman]