release 0.9.4

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