[MediaWiki-commits] [Gerrit] Remove redundant GroupOverride entries - change (operations/mediawiki-config)

2014-02-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove redundant GroupOverride entries .. Remove redundant GroupOverride entries They are already defined in GroupOverrides2. Change-Id: Id057d32a33cf1bd

[MediaWiki-commits] [Gerrit] Remove redundant GroupOverride entries - change (operations/mediawiki-config)

2014-02-09 Thread Odder (Code Review)
Odder has uploaded a new change for review. https://gerrit.wikimedia.org/r/112339 Change subject: Remove redundant GroupOverride entries .. Remove redundant GroupOverride entries They are already defined in GroupOverrides2.