jenkins-bot has submitted this change and it was merged.

Change subject: T128546 updating portal stats
......................................................................


T128546 updating portal stats

Bug: T128546
Change-Id: Ic8b88c4294b13cdf3e0da565289e1df05f6a3a32
---
M portals
1 file changed, 0 insertions(+), 0 deletions(-)

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



diff --git a/portals b/portals
index 0fbf8eb..c3ee395 160000
--- a/portals
+++ b/portals
-Subproject commit 0fbf8eb4791e71316b21895ea28905d392d5c953
+Subproject commit c3ee395fd60a8982bac64dd11a0543575e49304c

-- 
To view, visit https://gerrit.wikimedia.org/r/288192
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic8b88c4294b13cdf3e0da565289e1df05f6a3a32
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak <[email protected]>
Gerrit-Reviewer: Thcipriani <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to