v0.9.14

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