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