2018-10-08 16:12 GMT+02:00, Martin Vignali <martin.vignali at gmail.com>: > Resend previous patch (from July) I didn't test but the patchset looks very useful to me, thank you! Carl Eugen