Fixed a bug in the handling of version numbers we can't parse.
tree8190dd6e552dd32d9e36f8227589fc4c4f4a5daf
-rwxr-xr-x 1094 0publish-gui
-rw-r--r-- 152600 0publish-gui.glade
-rw-r--r-- 1127 0publish-gui.xml
-rw-r--r-- 18007 COPYING
-rw-r--r-- 9748 archive.py
-rw-r--r-- 9271 implementation.py
-rw-r--r-- 6780 interface.xsl
-rw-r--r-- 19022 main.py
-rw-r--r-- 4611 requires.py
-rw-r--r-- 5376 signing.py
drwxr-xr-x - tests
-rw-r--r-- 4426 xmltools.py