2017-12-13 - production
20:14	<demon@tin>	rebuilt and synchronized wikiversions files: group1 to wmf.12	[production]