2017-08-10 - production
22:31	<twentyafterfour@tin>	Synchronized php-1.30.0-wmf.13/includes/specials/SpecialDoubleRedirects.php: Hopefully fix T173045 (duration: 00m 48s)	[production]