Merge "Add maintenance script: Clean up expired userrights"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Oct 2017 22:46:57 +0000 (22:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Oct 2017 22:46:57 +0000 (22:46 +0000)
commitc033c63a06da9854c58902eae05cb79a11771b84
treecca4434fe67aea40c39f59891b1f529152aa3691
parent011367431745e51488731342ffc2fe1981f71bc0
parentfdb4557a5a4ee2c2fc8c997d57a43249dcb7d9cb
Merge "Add maintenance script: Clean up expired userrights"