> On 5 Feb 2015, at 22:24, Dmitriy Lyubimov <[email protected]> wrote: > > thank you very much. > > Github pull request is what we use these days. Do you think you could put > one up ?
I did it, and I hope is fine. Can you check? Sorry, it's my first fork/pull...
Ciao,
seba
