jenkins-bot has submitted this change. ( 
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/786943 )

Change subject: [7.2] Publish Pywikibot 7.2.0
......................................................................

[7.2] Publish Pywikibot 7.2.0

Change-Id: I156ebd21e771946b48ce42f4f5d0d5805234695a
---
M pywikibot/__metadata__.py
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Xqt: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/pywikibot/__metadata__.py b/pywikibot/__metadata__.py
index 88af118..a4fffeb 100644
--- a/pywikibot/__metadata__.py
+++ b/pywikibot/__metadata__.py
@@ -11,7 +11,7 @@


 __name__ = 'pywikibot'
-__version__ = '7.2.0.dev0'
+__version__ = '7.2.0'
 __description__ = 'Python MediaWiki Bot Framework'
 __maintainer__ = 'The Pywikibot team'
 __maintainer_email__ = '[email protected]'

--
To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/786943
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.wikimedia.org/r/settings

Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I156ebd21e771946b48ce42f4f5d0d5805234695a
Gerrit-Change-Number: 786943
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <[email protected]>
Gerrit-Reviewer: Xqt <[email protected]>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged
_______________________________________________
Pywikibot-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to