version 3.14

diff --git a/version.sh b/version.sh
index 4025f953d78acf12add0167d10df8a1bd8d6a515..8c55c7702dcd532fb618bcdf7239f10e745dd084 100755 (executable)
--- a/version.sh
+++ b/version.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-VERSION="3.13"
+VERSION="3.14"
 OUT="$1"
 
 if [ -d .git ] && head=`git rev-parse --verify HEAD 2>/dev/null`; then