[Dune] dune DNS down

[Christian Engwer]

Dear all,

the dune-project.org DNS entries are not available, due to some
financial issues. If you want to enjoy the full dune experience,
please add the following entries to your /ect/hosts file:

129.69.213.149 dune-project.org
129.206.117.248 autobuild.dune-project.org
129.206.117.248 lists.dune-project.org
129.69.213.149 svn.dune-project.org
129.69.213.149 www.dune-project.org

The main problem is, tat the MX record is missing, so that mails to
*@dune-project.org can not be delivered. If you want to send mails to
the dune list, please send them to dune at hal.iwr.uni-heidelberg.de.

Cheers Christian