[BUGFIX] Prune leading zeros from version number in download filenames
Prune leading zeros from version number strings when generating the download file name. Fixes #353
Showing
Please register or sign in to comment
Prune leading zeros from version number strings when generating the download file name. Fixes #353