On 17/09/2019 09:44, Henning Schild wrote: > Seems that was merged without further notice ... again. But hey it is > in. Yes, we still don't have 'your patch was integrated' notification mails. Ross