2 Commits (7f1cd0b73ba3290f8ee5f81fdf7f1ffa4c642ea7)

Author SHA1 Message Date
Simon Ser a2757e5f16 release: push tags before creating GitHub release
2 months ago
Simon Ser 829c75b9c9 Add release script
9 months ago