Tpt has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/375347 )
Change subject: pp_index table is not private
......................................................................
pp_index table is not private
Bug: T113842
Change-Id: I37756dbf17d6fd5a44c8990ec30259f1443494bd
---
M manifests/realm.pp
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/47/375347/1
diff --git a/manifests/realm.pp b/manifests/realm.pp
index 7777739..2ada11f 100644
--- a/manifests/realm.pp
+++ b/manifests/realm.pp
@@ -198,7 +198,6 @@
'old_growth',
'oldimage_old',
'optin_survey',
- 'pr_index',
'prefstats',
'prefswitch_survey',
'profiling',
--
To view, visit https://gerrit.wikimedia.org/r/375347
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I37756dbf17d6fd5a44c8990ec30259f1443494bd
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Tpt <thoma...@hotmail.fr>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
