Merge "Removed incomplete/unused DatabaseType interface"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Nov 2014 17:15:41 +0000 (17:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Nov 2014 17:15:41 +0000 (17:15 +0000)
commitc0fdf6f2022b95f52317a275992d99a84e5e5add
treefa18576ca872590563f9ed80b90b0521373f6df4
parent204e2eea51919a7cb586c3d5ecf0fbdeb6a307cf
parentdb5d7a807ffc21c8a290b4c37c6dd522e678e011
Merge "Removed incomplete/unused DatabaseType interface"