[Dune] Gitlab Maintenance on 8th and 9th June

Christian Engwer christian.engwer at uni-muenster.de
Tue Jun 9 18:17:57 CEST 2020


> the gitlab is back to normal.

Thanks!

my reported roblem is now also gone :-)

Ciao
Christian




More information about the Dune mailing list