Merge "Special:Preferences: Improve section grouping"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Jul 2018 21:47:58 +0000 (21:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Jul 2018 21:47:58 +0000 (21:47 +0000)
commit4424347c4770a18801cfc7b773814265a9dee43b
tree3c76ca52e9640369565c034aba1fe31f72292696
parent8b4a4b860f46741b6e1024bb11e94edab8088d68
parentad1d6542e39c8f2aa423a542bb2c34a63d4c5718
Merge "Special:Preferences: Improve section grouping"