Merge "Deprecate Database::getProperty()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Oct 2016 23:36:47 +0000 (23:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Oct 2016 23:36:47 +0000 (23:36 +0000)
commitc16805f064856ade4c13827668c0d0297235e993
treefb0fc7139ede417710044bfd9d9282dd1cc0bdc7
parent4465a9fb5a8763a394b3e1795506f939fc0a9005
parente8eab2d3133a68317942797c5cdda9a6c35406d9
Merge "Deprecate Database::getProperty()"