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

Reply via email to