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 -- coreboot mailing list: coreboot@coreboot.org https://mail.coreboot.org/mailman/listinfo/coreboot