2015-06-25 - production
15:51	<krenair>	Synchronized wmf-config/flaggedrevs.php: https://gerrit.wikimedia.org/r/#/c/203370/ (duration: 00m 12s)	[production]