Frederik Rietdijk 54eeab4da0 Python: fix update script in case no PyPI releases are available for a given version		2017-07-03 20:18:47 +02:00
..
scripts	Python: fix update script in case no PyPI releases are available for a given version	2017-07-03 20:18:47 +02:00