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-2 in 34 seconds (queued for 1 second)