Skip to content

Add tag_release.sh for creating final (non-RC) release tags - #1663

Merged
jernejfrank merged 1 commit into
mainfrom
stefan/add-tag-release-script
Aug 13, 2026
Merged

Add tag_release.sh for creating final (non-RC) release tags#1663
jernejfrank merged 1 commit into
mainfrom
stefan/add-tag-release-script

Commits

Commits on Jul 31, 2026