Skip to content

Fix dune.module file to be compatible with website

Steffen Müthing requested to merge bugfix/make-compatible-with-website into master

The dune.module parser of the website does not support the pipe sign to separate maintainers, so use the more standard comma instead. Without this change, the website build process breaks.

Merge request reports