On 09/10/2019 12:15, Stephan Gerhold wrote: > Thanks for the patch! > > I think your mail client messed it up, but I managed to apply it with > some manual fixes. It seems to work fine too: > > Tested-by: Stephan Gerhold<stephan at gerhold.net> Thanks for testing! --srini