Merge "Log DefaultPreferencesFactory usage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Apr 2018 00:51:33 +0000 (00:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Apr 2018 00:51:33 +0000 (00:51 +0000)
commit1ce52c41fcef3cb6fc8dba10ad3a6d570373d8bd
tree0c551356fffc3365f7fe0f642683a5d3f2b1ea6d
parent8d1f25f657df6b172cb85048edfff0be02291911
parentba35762773626d980c68e080d624cf426c142e07
Merge "Log DefaultPreferencesFactory usage"