2011-12-05 - production
16:26	<logmsgbot_>	reedy synchronized wmf-config/flaggedrevs.php 'Bug 32804 - mediawiki.org admins have rights to add undefined group "autochecked users"'	[production]