[coreboot] Re: Planned maintenance on ticket.coreboot.org on June 1st

[Felix Singer]

All issues have been resolved. The maintenance has been finished
successfully and the ticket system is back operational.

I apologize for the downtime. Unfortunately, weeks of testing and
preparing were still not enough.

Felix