0.9.13

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