Closed DerDakon closed 7 years ago
Indeed, my bad. It was still in the cleanup branch. It's pushed now. I'll see if I can use the github releases in the future (which uses tags as well).
You just need to tag the relevant commits and push those to Github so they show up in the webinterface and clones.
It looks like release "3.8" is newer than the current master. Also it would be helpful if the releases could be tagged so that they are easier identifiable in git.