jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405909 )
Change subject: Use python instead of python2. ...................................................................... Use python instead of python2. Change-Id: I1b72343b05e9f249e0dd292761cbf7db0bc31d15 --- M scripts/make-release.py 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Dbrant: Looks good to me, approved jenkins-bot: Verified diff --git a/scripts/make-release.py b/scripts/make-release.py index af68f93..8584286 100755 --- a/scripts/make-release.py +++ b/scripts/make-release.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python2 +#!/usr/bin/env python """ Script that builds one or more release apks. -- To view, visit https://gerrit.wikimedia.org/r/405909 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1b72343b05e9f249e0dd292761cbf7db0bc31d15 Gerrit-PatchSet: 1 Gerrit-Project: apps/android/wikipedia Gerrit-Branch: master Gerrit-Owner: Dbrant <dbr...@wikimedia.org> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Cooltey <cf...@wikimedia.org> Gerrit-Reviewer: Dbrant <dbr...@wikimedia.org> Gerrit-Reviewer: Sharvaniharan <sha...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
