https://bugzilla.wikimedia.org/show_bug.cgi?id=72527
--- Comment #2 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 168837 merged by John Vandenberg: Bug 72527 - CircularRedirect exception throws another exception
https://gerrit.wikimedia.org/r/168837