5.0.1

*** Do not modify this file. ***
Use VersionManager.py to change the version.
