I will do a maintenance on some build servers this Saturday, Dec 2. You might experience long waiting times for builds.
The maintenance is scheduled for 12pm UTC+1 and it's expected to be finished at 4pm UTC+1. Felix _______________________________________________ coreboot mailing list -- coreboot@coreboot.org To unsubscribe send an email to coreboot-le...@coreboot.org
