diff options
| author | Mike Frysinger <vapier@google.com> | 2020-05-21 16:13:32 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-05-21 21:04:42 +0000 |
| commit | 72325c5f3e64711f575bd3e04a5cbe3fb320be18 (patch) | |
| tree | 973f3b1eb2a4029d80de5eb2bd128ccce9036f67 | |
| parent | d79a4bc51b6ca5b47bbea861143c72bccc0ad13a (diff) | |
| download | git-repo-72325c5f3e64711f575bd3e04a5cbe3fb320be18.tar.gz | |
launcher: bump version for cli changes
Change-Id: I9b2194df0c1af3bc5b42115a25992747368a7383
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/268532
Reviewed-by: Xin Li <delphij@google.com>
Tested-by: Xin Li <delphij@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
| -rwxr-xr-x | repo | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -133,7 +133,7 @@ if not REPO_REV: | |||
| 133 | REPO_REV = 'stable' | 133 | REPO_REV = 'stable' |
| 134 | 134 | ||
| 135 | # increment this whenever we make important changes to this script | 135 | # increment this whenever we make important changes to this script |
| 136 | VERSION = (2, 5) | 136 | VERSION = (2, 7) |
| 137 | 137 | ||
| 138 | # increment this if the MAINTAINER_KEYS block is modified | 138 | # increment this if the MAINTAINER_KEYS block is modified |
| 139 | KEYRING_VERSION = (2, 3) | 139 | KEYRING_VERSION = (2, 3) |
