Faidon Liambotis has submitted this change and it was merged. Change subject: mail: add WLM domains as own domains ......................................................................
mail: add WLM domains as own domains These are still not under our control (and still pointed at mchenry/sodium) something that should get properly fixed. Add them to the list nevertheless, while we work the issues with the WLM community. Change-Id: Ia6875e902708e9dc268829e4ae7e0a25e239bcbe --- M files/exim/wikimedia_domains 1 file changed, 5 insertions(+), 0 deletions(-) Approvals: Faidon Liambotis: Looks good to me, approved jenkins-bot: Verified diff --git a/files/exim/wikimedia_domains b/files/exim/wikimedia_domains index 8f8fadb..95befec 100644 --- a/files/exim/wikimedia_domains +++ b/files/exim/wikimedia_domains @@ -20,6 +20,11 @@ wikivoyage-old.org # domains handled by OTRS +wikilovesmonuments.be +wikilovesmonuments.cat +wikilovesmonuments.eu +wikilovesmonuments.nl +wikilovesmonuments.org wikimedia.community wikimedia.com wikipedia.com -- To view, visit https://gerrit.wikimedia.org/r/141403 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia6875e902708e9dc268829e4ae7e0a25e239bcbe Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Faidon Liambotis <[email protected]> Gerrit-Reviewer: Faidon Liambotis <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
