2011-11-15 - production
22:08	<reedy>	synchronizing Wikimedia installation... : Pushing [[rev:103242|r103242]] for mathsy updates	[production]