jenkins-bot has submitted this change and it was merged.
Change subject: Version jump
......................................................................
Version jump
Change-Id: I1d87cb751a2d541e4fe154e165a9a9f90a23833a
---
M GoogleLogin.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Florianschmidtwelzow: Looks good to me, approved
jenkins-bot: Verified
diff --git a/GoogleLogin.php b/GoogleLogin.php
index dc70346..65bd7ac 100644
--- a/GoogleLogin.php
+++ b/GoogleLogin.php
@@ -32,7 +32,7 @@
'author' => 'Florian Schmidt',
'url' => 'https://www.mediawiki.org/wiki/Extension:GoogleLogin',
'descriptionmsg' => 'googlelogin-desc',
- 'version' => '0.1.3-git',
+ 'version' => '0.2.0',
'license-name' => "MIT",
);
--
To view, visit https://gerrit.wikimedia.org/r/158067
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1d87cb751a2d541e4fe154e165a9a9f90a23833a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GoogleLogin
Gerrit-Branch: v0_2_0
Gerrit-Owner: Florianschmidtwelzow <florian.schmidt.wel...@t-online.de>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.wel...@t-online.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
