Fix bug in 29cb20bd563c02671b31dd840139e93dd37150a1

diff --git a/devscripts/update-version.py b/devscripts/update-version.py
index 00c2d54cff98a8a95e339f1ac5403dec5ad26384..60ebcff62d1a0de426b3a67fcad78997afaf0462 100644 (file)
--- a/devscripts/update-version.py
+++ b/devscripts/update-version.py
@@ -46,7 +46,7 @@ def get_git_head():
 
 UPDATE_HINT = None
 
-CHANNEL = "{channel!r}"
+CHANNEL = {channel!r}
 '''
 
 if __name__ == '__main__':