Merge "Make DefaultPreferencesFactory depend on PermissionManager."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Sep 2019 21:03:30 +0000 (21:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Sep 2019 21:03:30 +0000 (21:03 +0000)
commite81b3603dc2d4e149445ffb190c3b8fe1598b68d
tree1e05ff0eb5f1fad5a9774cd4060709f831ee2a54
parent7d54426c3794aa601f250cd314060a39725bd8b0
parent5ccb1a42c7752778db2381d180dbee0ed9b7e779
Merge "Make DefaultPreferencesFactory depend on PermissionManager."