[Bug 885715] Re: Mailman should add a Received header