Verified Commit ee41fd42 authored by georg's avatar georg

Add missing List-Id header to notification mails sent to admins

This should help with filtering such messages, which is currently not
easy to do in a reliable way.
parent 0a049c0c
Pipeline #32883 passed with stages
in 10 minutes and 24 seconds