bump version to 0.9.12

diff --git a/version.sh b/version.sh
index ea5fbc1dce24b821bd68f0b781c10090fa4c9b62..1bfec0ec6a3f57331aec492fe9174b735abc1dee 100755 (executable)
--- a/version.sh
+++ b/version.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-VERSION="0.9.11"
+VERSION="0.9.12"
 OUT="version.h"
 
 if head=`git rev-parse --verify HEAD 2>/dev/null`; then