[coreboot] Mailing list archive not updating

[Branden Waldner]

I was just checking the mailing list archive and noticed that it isn't
showing any new messages since September 9.

I wasn't able to determine if there was a mailing list admin address
to send this to, so I hope just sending it to the list is okay. (I did
see this "[e-mail] alias for mailman admins" while
searching, but wasn't sure about it, since it doesn't actually show up
on the available lists page.)