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

[Christoph Grüninger]

Hi Oliver,

> I don't really think dropping it is worth the effort.  Does the existence
> of that list hurt anyone?

I often do not know which mailing list to address. And maybe people are getting mails from only one list and are missing discussions or a heads up.
So not severe, but reducing the number of lists makes it a bit clearer.

Bye
Christoph