Merge "Break PreferencesFormOOUI->PermissionManager dependency"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Sep 2019 20:32:10 +0000 (20:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Sep 2019 20:32:10 +0000 (20:32 +0000)
commita1d6452fd28bc0c2b047ddb2e86e94326e5640fd
treea20319e33f128dfa5b9491f91282a95030b439e5
parent1cb23e06784496057ffe2f7bb8692c8d9786ad78
parent57cffc9e57535f199db550447f3248a84b6b9aaf
Merge "Break PreferencesFormOOUI->PermissionManager dependency"