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 -- [email protected] To unsubscribe send an email to [email protected]
