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

[Oliver Sander]

> What is the opinion of the others?

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5198 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20200901/d6ffad3d/attachment.bin>