e8a217d
This commit was signed with the committer’s verified signature.
burgholzer
Lukas Burgholzer
Another small bugfix release that repairs the re-tag job that keeps the v1 tag up-to-date.