[Dune-devel] Dune infrastructure back online

[Steffen Müthing]

Hi everyone,

the infrastructure is up and running again - hopefully without any major interruptions for the
foreseeable future.

That said, there will be a GitLab update tomorrow ;-) But that shouldn’t take more than a few
minutes.

Steffen

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20160928/54734bbb/attachment.sig>