[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Updating portals stats
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/357490 ) Change subject: Updating portals stats .. Updating portals stats Bug: T128546 Change-Id: I7843b3847aacb5e18f8a1d79b8a21cd332306
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Updating portals stats
Jdrewniak has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/357490 ) Change subject: Updating portals stats .. Updating portals stats Bug: T128546 Change-Id: I7843b3847aacb5e18f8a1d79b8a21cd332306ced --- M