Hello Christoph,

On Tue, Oct 13, 2015 at 11:10 AM, Christoph Gysin <christoph.gysin at gmail.com
> wrote:

>
> Is there anything I can do to help getting this merged?
>

This is ok for me, cc-ing Thomas.


-- 
David Marchand

Reply via email to