On 10/20/21 2:52 PM, Sebastiaan Couwenberg wrote: > Don't forget to push your changes: > > git push --all && git push --tags Thanks for pushing the changes, the debian release tag is still missing though. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1