[MediaWiki-commits] [Gerrit] follow-up; minor bug-fix/clean-up of last commit - change (pywikibot...drtrigonbot)

DrTrigon has submitted this change and it was merged. Change subject: follow-up; minor bug-fix/clean-up of last commit .. follow-up; minor bug-fix/clean-up of last commit Change-Id: Ida920e32a5900d422fbb4e780eb689e6682e43e7 ---

[MediaWiki-commits] [Gerrit] follow-up; minor bug-fix/clean-up of last commit - change (pywikibot...drtrigonbot)

DrTrigon has uploaded a new change for review. https://gerrit.wikimedia.org/r/109599 Change subject: follow-up; minor bug-fix/clean-up of last commit .. follow-up; minor bug-fix/clean-up of last commit Change-Id: Ida920e32a5