2021-02-10 - production
19:20	<thcipriani@deploy1001>	Synchronized wmf-config/ProductionServices.php: [[gerrit:661732|Remove a couple of useless DNS lookups from mediawiki-config]] T231025 (duration: 01m 10s)	[production]