Merge pull request #138 from F21/devel

frankmayer · frankmayer · commit 94b92298f541 · 2013-05-30T19:08:05.000-07:00
Update travis to use 1.3.1.
diff --git a/tests/travis/setup_arangodb.sh b/tests/travis/setup_arangodb.sh
@@ -3,7 +3,7 @@
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 cd $DIR
 
-VERSION=1.3.0
+VERSION=1.3.1
 NAME=ArangoDB-$VERSION
 
 if [ ! -d "$DIR/$NAME" ]; then
