jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/634995 ) Change subject: [5.0.0] Merge branch 'master' into stable ...................................................................... [5.0.0] Merge branch 'master' into stable Change-Id: Ieaec9de39928b8b5b093baa80e873145fcde85c7 --- 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/+/634995 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: Ieaec9de39928b8b5b093baa80e873145fcde85c7 Gerrit-Change-Number: 634995 Gerrit-PatchSet: 1 Gerrit-Owner: Xqt <info(a)gno.de> Gerrit-Reviewer: Xqt <info(a)gno.de> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged