Merge branch 'hotfix-release' into 'master'

Hotfix release.py

See merge request !340

(cherry picked from commit 77113220)

22bfbaad Update release.py
5 jobs for cherry-pick-77113220 in 32 seconds (queued for 1 second)
latest