Merge branch 'mailman' into 'master'
Passed
Kristian Klausen
created pipeline for commit
03eab75d
, finished
For master
56 seconds, queued for 8 seconds