Add --release-version for explicitly setting the release version number
tree4aaeef78f2300c7d65e88b82e60c8a086813c7d3
-rwxr-xr-x 3538 0release
-rw-r--r-- 2455 0release.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1161 README
-rw-r--r-- 5357 compile.py
-rw-r--r-- 20974 release.py
-rw-r--r-- 6051 scm.py
-rw-r--r-- 2502 setup.py
-rw-r--r-- 6778 support.py
drwxr-xr-x - tests