Use latest version of travis-utils

diff --git a/travis.sh b/travis.sh
index 864486c6b8bfd1102e50b980ef40e2db52e90b7c..b36add46a735012fb5465c7e1bd5ac0b9649bcf4 100755 (executable)
--- a/travis.sh
+++ b/travis.sh
@@ -3,7 +3,7 @@
 set -euo pipefail
 
 function installTravisTools {
-  curl -sSL https://raw.githubusercontent.com/sonarsource/travis-utils/v11/install.sh | bash
+  curl -sSL https://raw.githubusercontent.com/sonarsource/travis-utils/v13/install.sh | bash
   source /tmp/travis-utils/env.sh
 }