I've compiled and checked it today. Working like a charm! :) On Tue, Jun 28, 2016 at 1:38 PM, Michael Albinus wrote: > উৎসব রায় writes: > > > Should I clone the repo and test if it works? > > That's always a good idea. > > Best regards, Michael. >