2017-04-25 - production
22:24	<mutante>	mediawiki maintenance servers: last log entry was _before_ merging https://gerrit.wikimedia.org/r/#/c/342777/ and making a change	[production]