diff options
author | Conley Owens <cco3@android.com> | 2014-01-30 16:00:35 -0800 |
---|---|---|
committer | Conley Owens <cco3@android.com> | 2014-01-30 16:00:35 -0800 |
commit | 5db69f3f6616ea199a7840f0602b988f8d5504b9 (patch) | |
tree | cdf4cacdba2b88edc5605161cba4db2903e4d719 | |
parent | ff0a3c8f80339960623acf76ec2bb6c1ad61c352 (diff) | |
download | git-repo-5db69f3f6616ea199a7840f0602b988f8d5504b9.tar.gz |
Update the version number on the repo launcherv1.12.13
The repo launcher version needs to be updated so some users can take
advantage of the more robust version number parsing.
Change-Id: Ibcd8036363311528db82db2b252357ffd21eb59b
-rwxr-xr-x | repo | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ REPO_REV = 'stable' | |||
20 | # limitations under the License. | 20 | # limitations under the License. |
21 | 21 | ||
22 | # increment this whenever we make important changes to this script | 22 | # increment this whenever we make important changes to this script |
23 | VERSION = (1, 20) | 23 | VERSION = (1, 21) |
24 | 24 | ||
25 | # increment this if the MAINTAINER_KEYS block is modified | 25 | # increment this if the MAINTAINER_KEYS block is modified |
26 | KEYRING_VERSION = (1, 2) | 26 | KEYRING_VERSION = (1, 2) |