jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1313883?usp=email )

Change subject: Merge branch 'master' into stable ......................................................................

Merge branch 'master' into stable

Change-Id: Idf70651b5afdf73fd66e140dc0957aba7ed6c2a2 --- 1 file changed, 33 insertions(+), 0 deletions(-)

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