Merge "Deprecate public access to some DifferenceEngine properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Jul 2018 12:06:05 +0000 (12:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Jul 2018 12:06:05 +0000 (12:06 +0000)
commit03af0578b609e7624974495160c5ff2b88b4d7b1
treeecfb884998fb4a93ffa0929b8d1b6212a7f7483d
parent355e21590ae1c4360fc4ca77d0e9fdc4fe978c88
parentc767dfdea00ab090eb0bf9263754b7d1bc5ff5b0
Merge "Deprecate public access to some DifferenceEngine properties"