[Pywikibot-commits] [Gerrit] ...core[stable]: [7.2] Merge branch 'master' into stable