Hotfix release.py See merge request !340 (cherry picked from commit 77113220) 22bfbaad Update release.py