Hi,

On Sun, Sep 17, 2017 at 5:06 PM, Jan Lahoda <lah...@gmail.com> wrote:
> ...I've uploaded an updated version of the tool...

You mean the tool is not in Git? I think it should, maybe using a
specific "tools" repository.

-Bertrand

Reply via email to