2015-10-07 - production
20:14	<ori@tin>	Synchronized wmf-config/session.php: Ie25c368a: Switch mw1017 to use DC-specific redis cluster names (duration: 00m 17s)	[production]