> On Nov 6, 2017, at 10:33 PM, Dirk Hohndel <dirk at hohndel.org> wrote: > > Version numbers are FUN with this one. I'm working on that. That part should be fixed now. The additional tag that we keep inserting and moving on GitHub in order to create the builds for the latest push/merge was confusing not only me but also our scripting. /D