jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/773908 )
Change subject: Merge branch 'master' into stable
......................................................................
Merge branch 'master' into stable
Change-Id: Ie334985b2626db9c42e6b49d7f3eb0f58de330bb
---
1 file changed, 0 insertions(+), 0 deletions(-)
Approvals:
Xqt: Looks good to me, approved
jenkins-bot: Verified
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/773908
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: stable
Gerrit-Change-Id: Ie334985b2626db9c42e6b49d7f3eb0f58de330bb
Gerrit-Change-Number: 773908
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged