Mail problems resolved
A critical server crashed in the middle of the night, taking down CI authentication. Normally, this should not cause too big a problem, as we have backup authentication servers. However, there appears to be a misconfiguration on the Zimbra servers…