I've compiled and checked it today. Working like a charm! :)

On Tue, Jun 28, 2016 at 1:38 PM, Michael Albinus <michael.albinus@gmx.de> wrote:
উৎসব রায় <uroybd@gmail.com> writes:

> Should I clone the repo and test if it works?

That's always a good idea.

Best regards, Michael.