Merge pull request #140 from F21/devel

frankmayer · frankmayer · commit 524c805acaab · 2013-06-24T06:56:28.000-07:00
Update to ArangoDB 1.3.2.
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.1
+VERSION=1.3.2
 NAME=ArangoDB-$VERSION
 
 if [ ! -d "$DIR/$NAME" ]; then
