diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b888db517798f1fb7d75e35d04e6d38e47c53f0f..a18447239888a15ac0d6d4efa11f46358654472e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -67,4 +67,4 @@ You should get your changes to us in the following way: If you have any questions or complaints about this workflow of contributing to Dune, please rant on the -[dune-devel mailing list](mailto:dune-devel@dune-project.org). \ No newline at end of file +[dune-devel mailing list](mailto:dune-devel@lists.dune-project.org). diff --git a/dune.module b/dune.module index b43af7eb755ce7b96621c698b1ae7ae6ceef47a0..10e106cd36c44342a3007e13bc3961ec6b3836e9 100644 --- a/dune.module +++ b/dune.module @@ -1,4 +1,4 @@ Module: dune-common Version: 2.5.1-git -Maintainer: dune-devel@dune-project.org +Maintainer: dune-devel@lists.dune-project.org Whitespace-Hook: Yes