[Dune] Git repository is not working

[Jö Fahlke]

> I just found that the git repository (
> https://gitlab.dune-project.org/core/dune-grid) is not working.
> Could you check it?

Steffen is working on it, see
http://lists.dune-project.org/pipermail/dune/2017-October/014646.html

Regards,
Jö.

-- 
Jorrit (Jö) Fahlke, Institute for Computational und Applied Mathematics,
University of Münster, Orleans-Ring 10, D-48149 Münster
Tel: +49 251 83 35146 Fax: +49 251 83 32729

If you receive something that says "Send this to everyone you know,"
pretend you don't know me.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20171011/ece16f45/attachment.sig>