Closed paolobarbolini closed 3 months ago
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:
Sorry, had forgotten to push them.
Thank you. Closing now
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: