Good idea. Can you do this, Jan?
Gj On Tue, 19 Sep 2017 at 14:25, Bertrand Delacretaz <bdelacre...@apache.org> wrote: > 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 >