2020-03-09 - production
15:18	<oblivian@deploy1001>	Synchronized wmf-config/ProductionServices.php: switch mathoid to use envoy (duration: 00m 59s)	[production]