31 May
2022
31 May
'22
8:44 p.m.
I second Felix's suggestion
On Tue, May 31, 2022 at 3:39 PM Felix Singer felixsinger@posteo.net wrote:
No objections. I think we should remove it now.
// Felix _______________________________________________ coreboot mailing list -- coreboot@coreboot.org To unsubscribe send an email to coreboot-leave@coreboot.org