[coreboot] Delivery problems with some messages since a week

[Paul Menzel]

Dear coreboot folks,

since a week *some* of the messages from the list, like [1], are not
delivered to me. Does somebody also experience such problems? On the
SeaBIOS list, this happened for at least one message [2].

Logging into Mailman’s Web interface [1] there is no information about
any bounces and delivery is enabled (otherwise I wouldn’t get any at all
I guess).

Thanks,

Paul

[1] http://www.coreboot.org/pipermail/coreboot/2014-June/078191.html
[2] http://www.seabios.org/pipermail/seabios/2014-June/008158.html
[3] http://www.coreboot.org/mailman/options/coreboot/