[Pywikibot-commits] [Gerrit] Fixup user_agent patch - change (pywikibot/core)