Upgrade RBT to 0.7.11

Reviewed at https://reviews.apache.org/r/65873/
apache · Mar 16, 2018 · d9acfeb7661fe209714a464261591495e4a71414 · d9acfeb
1 parent a12b844
commit d9acfeb7661fe209714a464261591495e4a71414
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rbt b/rbt
@@ -16,7 +16,7 @@
 set -e
 
 HERE=$(cd `dirname "${BASH_SOURCE[0]}"` && pwd)
-RBTOOLS_VERSION=0.7.5
+RBTOOLS_VERSION=0.7.11
 if ! [ -f "$HERE/build-support/rbt.venv/BOOTSTRAPPED" ] || \
     [ x`cat "$HERE/build-support/rbt.venv/BOOTSTRAPPED"` != x$RBTOOLS_VERSION ]; then