Merge "Rename variables for Title objects in PermissionManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Aug 2019 23:31:21 +0000 (23:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Aug 2019 23:31:21 +0000 (23:31 +0000)
commita433ae17d4ef97d71a1e01f97bb487bea69d67e8
tree07a2af9599e21409860ace98d9ebcb5f65874533
parent428cae772941778edebc97274769a620ec0faea7
parentb8ba3232057c2ec00af64087aee02d3392d01490
Merge "Rename variables for Title objects in PermissionManager"