Merge "Clean up some IDatabase comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Aug 2016 23:57:44 +0000 (23:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Aug 2016 23:57:44 +0000 (23:57 +0000)
commit947ad4d8b39e91baf75085338957a8e3c8fc1ac0
tree50ed28b6f7d0b3edec286de56f87325ef612a425
parentcbcdf9f7493839dfc94941d343e1f63016c06e98
parent3155b5850f98009cb6876282e1604a2780d6ab9c
Merge "Clean up some IDatabase comments"