Merge "Add DeleteUnknownPreferences hook"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Apr 2018 22:55:30 +0000 (22:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Apr 2018 22:55:30 +0000 (22:55 +0000)
commit9c85176cec5be2054e04521e80486165d4901b3a
tree08524036875ebfe6bd930dc505a4dcfa6dade608
parent8dfeac7446391b4b1dada5429a48fdf4c3095a7b
parent6c9a0a2a68561500f96ecdc5862ecb386d67a849
Merge "Add DeleteUnknownPreferences hook"