2019-05-29 - production
12:31	<Zppix>	[11:55:11] urbanecm@deploy1001 Synchronized wmf-config/InitialiseSettings.php: [[:gerrit:511849|Set wgLocaltimezone for euwiki to Europe/Berlin]] (T224091) (duration: 00m 57s)	[production]