Missing tags for versions 0.7.1 and 0.7.2
paolobarbolini opened this issue · 2 comments
paolobarbolini commented
Releases 0.7.1 and 0.7.2 haven't been tagged. Could you add them?
You can find out the git commit id from:
oyvindln commented
Sorry, had forgotten to push them.
paolobarbolini commented
Thank you. Closing now