https://bugzilla.wikimedia.org/show_bug.cgi?id=64837
--- Comment #3 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 135204 merged by jenkins-bot: port capitalize_redirects.py to core - done by compat2core script
https://gerrit.wikimedia.org/r/135204