[coreboot] Please revert change of List-Id

[Stefan Reinauer]

On 04/07/2017 01:01 AM, Paul Menzel via coreboot wrote:
> Dear coreboot server list administrators,
>
>
> It looks like the List-Id of the lists provided by the coreboot server
> – at least coreboot, flashrom, SeaBIOS – changed from
>
> List-Id: coreboot project mailing list <coreboot.coreboot.org>
>
> to
>
> List-Id: coreboot project mailing list <coreboot.mail.coreboot.org>
>
> which looks like a change in the domain name/host name from
> *coreboot.org* to *mail.coreboot.org*.
>
> That affects the configured filters of probably a lot of subscribers.
> It’d be awesome, if the ID could be reverted to the old one.
>
>
> Thanks,
>
> Paul

This has been changed back to the old behavior. It was a side effect of
mailman eagerly reacting to some effort to docker up the different
services running on coreboot.org.

Thank you for the note, and thank you for your patience.

Stefan