[Dune] Dune website not reliably available today

Steffen Müthing steffen.muething at iwr.uni-heidelberg.de
Fri Oct 28 11:13:05 CEST 2016


Hi everyone,

due to IP address changes related to moving to the new server, we had to
update the DNS entry for dune-project.org. This change is propagating through
the DNS system right now, but this change can take up to 8 hours to be visible
everywhere. Until then, the main Dune website might not be available for you.
GitLab, the mailing lists and the Discourse server should not be affected.

Sorry for the inconvenience
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/attachments/20161028/7eb4ec34/attachment.sig>


More information about the Dune mailing list