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 "mailman@coreboot.org alias for mailman admins" while
searching, but wasn't sure about it, since it doesn't actually show up
on the available lists page.)
_______________________________________________
coreboot mailing list -- coreboot@coreboot.org
To unsubscribe send an email to coreboot-leave@coreboot.org