1 files changed, 1 insertions, 1 deletions
diff --git a/repo b/repo
index 8936f57b..83933d7c 100755
--- a/repo
+++ b/repo
@@ -147,7 +147,7 @@ if not REPO_REV:
  REPO_REV = 'stable'
 # increment this whenever we make important changes to this script
-VERSION = (2, 11)
+VERSION = (2, 12)
 # increment this if the MAINTAINER_KEYS block is modified
 KEYRING_VERSION = (2, 3)

diff --git a/repo b/repo index 8936f57b..83933d7c 100755 --- a/repo +++ b/repo
@@ -147,7 +147,7 @@ if not REPO_REV:
147	REPO_REV = 'stable'	147	REPO_REV = 'stable'
148		148
149	# increment this whenever we make important changes to this script	149	# increment this whenever we make important changes to this script
150	VERSION = (2, 11)	150	VERSION = (2, 12)
151		151
152	# increment this if the MAINTAINER_KEYS block is modified	152	# increment this if the MAINTAINER_KEYS block is modified
153	KEYRING_VERSION = (2, 3)	153	KEYRING_VERSION = (2, 3)