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