1 files changed, 2 insertions, 2 deletions
diff --git a/repo b/repo
index b598c327..adcfb6eb 100755
--- a/repo
+++ b/repo
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2008 The Android Open Source Project
 #
@@ -124,7 +124,7 @@ if not REPO_REV:
 BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071"
 # increment this whenever we make important changes to this script
-VERSION = (2, 40)
+VERSION = (2, 42)
 # increment this if the MAINTAINER_KEYS block is modified
 KEYRING_VERSION = (2, 3)

diff --git a/repo b/repo index b598c327..adcfb6eb 100755 --- a/repo +++ b/repo
@@ -1,4 +1,4 @@
1	#!/usr/bin/env python	1	#!/usr/bin/env python3
2	#	2	#
3	# Copyright (C) 2008 The Android Open Source Project	3	# Copyright (C) 2008 The Android Open Source Project
4	#	4	#
@@ -124,7 +124,7 @@ if not REPO_REV:
124	BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071"	124	BUG_URL = "https://issues.gerritcodereview.com/issues/new?component=1370071"
125		125
126	# increment this whenever we make important changes to this script	126	# increment this whenever we make important changes to this script
127	VERSION = (2, 40)	127	VERSION = (2, 42)
128		128
129	# increment this if the MAINTAINER_KEYS block is modified	129	# increment this if the MAINTAINER_KEYS block is modified
130	KEYRING_VERSION = (2, 3)	130	KEYRING_VERSION = (2, 3)