[Dune-devel] Abandon dune-devel mailing list?

[Christian Engwer]

Hi Christoph, Hi Jö,

Off we drop the devel list, I would suggest, to simply keep the old archive as it is.

I agree that there is less and less reason to actually have this list.

What is the opinion of the others?

Ciao
Christian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20200901/82fc9a2a/attachment.htm>