Merge branch 'hotfix-release' into 'master'
Hotfix release.py
See merge request !340 (merged)
(cherry picked from commit 77113220)
22bfbaad Update release.py
Hotfix release.py
See merge request !340 (merged)
(cherry picked from commit 77113220)
22bfbaad Update release.py