2014-12-17 - production
14:43	<anomie>	Merged and fetched [[gerrit:180477]], so undeployed bad extension changes from [[gerrit:180229]] are no longer a danger	[production]