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)