Merge "Add @deprecated tags to DatabaseBase"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 May 2018 21:57:32 +0000 (21:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 May 2018 21:57:32 +0000 (21:57 +0000)
commit6437986af0fa2e59f9f0dd9a8fd46252ed41e916
treeeffd36587c2b472f21bfd450a88f39f2f7ed121f
parenta42f956a7100deca19c4209c8a83c95531253fa9
parentab85b17368dba24dbd60049d2bbe31713d585243
Merge "Add @deprecated tags to DatabaseBase"