[isabelle] Service outage at TUM

Dear Isabelle users,

not everyone will see this message in time, but I'll try anyway â there
seems to be a partial network outage at TUM. This appears to affect:

- mail services, including [isabelle-dev]
- Jenkins
- AFP website

Pushes to the repositories should be unaffected. I don't know when this
will be resolved.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.