-
Steffen Müthing authored
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.
13d7c45a
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.