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
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