RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-02-23 06:37:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

launcher: bump version for accumulated fixes

Browse Source 
Change-Id: I45da9facb525355c4963735e087d87024dea2017
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/260232
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Jonathan Nieder <jrn@google.com>
This commit is contained in:
Mike Frysinger 2020-03-25 01:00:29 -04:00 committed by Jonathan Nieder
parent cdb344c0e7
commit 3e5b269fc6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repo
View File

@ -133,7 +133,7 @@ if not REPO_REV:
REPO_REV = 'stable'
# increment this whenever we make important changes to this script
VERSION = (2, 4)
VERSION = (2, 5)
# increment this if the MAINTAINER_KEYS block is modified
KEYRING_VERSION = (2, 3)