From f1238742f931269167e7c2704b53bb285d05f39d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 18 May 2020 11:28:58 +0200
Subject: Update to 8.13.

Part of this PR was automatically generated by running dev/doc/update-compat.py --master
---
 test-suite/tools/update-compat/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/tools')

diff --git a/test-suite/tools/update-compat/run.sh b/test-suite/tools/update-compat/run.sh
index 7ff5571ffb..61273c4f37 100755
--- a/test-suite/tools/update-compat/run.sh
+++ b/test-suite/tools/update-compat/run.sh
@@ -6,4 +6,4 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
 # we assume that the script lives in test-suite/tools/update-compat/,
 # and that update-compat.py lives in dev/tools/
 cd "${SCRIPT_DIR}/../../.."
-dev/tools/update-compat.py --assert-unchanged --release || exit $?
+dev/tools/update-compat.py --assert-unchanged --master || exit $?
-- 
cgit v1.2.3