From 309bf16257b2395ce502017be627186b749ee749 Mon Sep 17 00:00:00 2001 From: "Wladimir J. van der Laan" Date: Tue, 7 Mar 2017 10:52:27 +0100 Subject: [PATCH] devtools: Fix a syntax error typo Fix a typo introduced in #9880 causing the script to not even parse. --- contrib/devtools/github-merge.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py index 933bdc2b9d..f1b6a12fd0 100755 --- a/contrib/devtools/github-merge.py +++ b/contrib/devtools/github-merge.py @@ -209,7 +209,7 @@ def main(): exit(4) symlink_files = get_symlink_files() - for f in symlink_files; + for f in symlink_files: print("ERROR: File %s was a symlink" % f) if len(symlink_files) > 0: exit(4)