Skip to content
GitLab
Explore
Sign in
Cleanup/unify maintainers
Code
Review changes
Check out branch
Download
Patches
Plain diff
Samuel Burbulla
requested to merge
samuel.burbulla/dune-website:cleanup/unify-maintainers
into
master
Nov 08, 2018
Overview
2
Commits
1
Pipelines
3
Changes
16
Expand
Unify the format of the maintainer mail adresses in the modules.
Edited
Jun 12, 2019
by
Samuel Burbulla
Merge request reports
Loading