| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-10-06 | release: push tags before creating GitHub release | Simon Ser | -0/+1 | |
| Otherwise the GitHub release isn't attached to the Git tag. (cherry picked from commit a2757e5f165eae445ae550fd1d13f9ec0db44efc) | ||||
| 2024-02-26 | Add release script | Simon Ser | -0/+31 | |
