Thank you! On Sat, Oct 21, 2017 at 4:23 PM, Peter Colberg <[email protected]> wrote: > Hi Michael, > > On Sat, Oct 21, 2017 at 01:58:22PM +0200, Michael Stapelberg wrote: >> Please consider merging the attached patch. > > Thanks, applied to git. > > Regards, > Peter
-- Best regards, Michael
