On Sun, Oct 25, 2015 at 4:49 PM, Rasmus <ras...@gmx.us> wrote:
> The latest patch from
>
>     Date: Sun, 25 Oct 2015 14:36:16 +0530
>
> looks good to me.  Thanks!

I guess, this can be merged, then?

Thanks!
Puneeth

Reply via email to