2020-12-15 - production
12:32	<lucaswerkmeister-wmde@deploy1001>	Synchronized wmf-config/InitialiseSettings.php: Config: [[gerrit:643734|Remove propagatePageDeletion setting]] (2/2) (duration: 00m 54s)	[production]