Merge branch 'hotfix-release' into 'master'

Hotfix release.py

See merge request !340 (merged)

(cherry picked from commit 77113220)

22bfbaad Update release.py

Merge request reports

Loading