Dear developers,

it appears that there is a large-scale LRZ outage. The following services are affected:

- AFP submission service
- AFP slow tests

as well as other machines used privately by various people that are hosted in the Compute Cloud.

I will update as soon as service resumes.

isabelle-dev mailing list

Reply via email to