[coreboot] Please revert change of List-Id

[Paul Menzel]

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