rename release_patch.py to release.py

This commit is contained in:
Gabor Kiss-Vamosi
2020-06-01 21:12:29 +02:00
parent f3d8d98807
commit 884e00ee8f