Merge "Remove gadget special-case from preferences cleanup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 Apr 2018 03:06:05 +0000 (03:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 Apr 2018 03:06:05 +0000 (03:06 +0000)
commit4660ce079ca78a66e4ec7386481868a52ecebda5
tree511f26e59ffe18ea1f29baa01b18bd04f70cb419
parente929c716317eae338196d7f35a98550de769b224
parent6717ea5c7db15e963a782f6ccd4e540a0a624e4e
Merge "Remove gadget special-case from preferences cleanup"