Demon has submitted this change and it was merged.

Change subject: Cleaning up "unsorted" projects
......................................................................


Cleaning up "unsorted" projects

Change-Id: Ifa3a058e1b718e60d294f6b002ed52d4e1259711
---
M GerritTools.i18n.php
M GerritTools.php
M specials/SpecialGerritProjects.php
3 files changed, 28 insertions(+), 12 deletions(-)

Approvals:
  Demon: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/12881
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ifa3a058e1b718e60d294f6b002ed52d4e1259711
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/GerritTools
Gerrit-Branch: master
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Demon <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to