[Dune] Problems with svn repositories

[Markus Blatt]

Dear fellow Dune developers,

there was a problem with the dune-project svn repositories today. Our
system administrator was able to fix them. Unfortunately all changes
after 11am today were lost.

If you commit changes after that time, please recommit them.

We are sorry for the inconvenience.

Thank you very much for your cooperation and understanding. 

Cheers,

Markus

P.S.: I will be on holiday until next Monday.