2013-11-05 - production
21:15	<aaron>	synchronized php-1.23wmf1/includes/clientpool/RedisConnectionPool.php '9e0a5d83fc5350218336a65130e0bb7fd1a5b4a1'	[production]