Merge "Follow up 9ef34a2f1d0: fix NewPagesPager "hide registered users" option" into...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Dec 2019 14:53:56 +0000 (14:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Dec 2019 14:53:56 +0000 (14:53 +0000)
commitae6e0c006e26680ea43d9f7a8ea60b761db036c5
treed0e474775faca9bcef3f8bfc905577364bea45a7
parent347428e567e1c749c5861da0863b732714de5e74
parent246edb94a2ba8b6c94d52cb60c7c884d28d59190
Merge "Follow up 9ef34a2f1d0: fix NewPagesPager "hide registered users" option" into REL1_34