chiark / gitweb /
Combine pushes of version tag and suite branch into a single git-push. NFC.