2016-05-03 - production
23:23	<dereckson@tin>	Synchronized wmf-config/CirrusSearch-production.php: Cirrus: only use pooled curl in hhvm / [[Gerrit:286485]] (duration: 00m 34s)	[production]