> Everyone who considers submitting an AFP entry, please hold off until at
> least November 12.
We have been informed by the upstream provider about continued service
disruption:
"Unfortunately we encountered more difficulties than expected during the
upgrade of the LRZ Cloud Computing
Dear Isabelle developers and users,
our provider for some of our VMs has announced a scheduled maintenance,
lasting from November 8 to November 11.
The following parts of our infrastructure will be disrupted:
- AFP submission service
- "nightly slow" builds
Since we're in the release phase
