Dear Dune, the list of mailing lists on our homepage still contains dune-disc-commit. The corresponding link is dead (it points to conan.informatik.uni-stuttgart.de). Are there objections to simply removing the list from the webpage? best, Oliver