Kill the mailman2 server and put the mailman3 server in its place
1 related merge request: !628 Kill the mailman2 server and put the mailman3 server in its place
branch
2 jobs
32 seconds, queued for 2 seconds