now that it really works on x86_64, bump version to 0.9.3

diff --git a/version.sh b/version.sh
index 44a7aa4e709ff02799b11f8a8604e02a81a7e047..5be31770be211920311db8187f87358f5f9f4de7 100755 (executable)
--- a/version.sh
+++ b/version.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-VERSION="0.9.2"
+VERSION="0.9.3"
 
 (
 if head=`git rev-parse --verify HEAD 2>/dev/null`; then