Merge "Avoid Database::tableName in WikiExporter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Sep 2019 22:36:03 +0000 (22:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Sep 2019 22:36:03 +0000 (22:36 +0000)
commit5d1b19ed478271f4ef3204f4a388eb39effb275f
tree4fd7dffe358ca8565059eeb018019c91344e4ba6
parent371f758d9ef456a5664c0d1247b4d18174a03f02
parent5a4d30ed09e44a10cd6fce5f6b03a864d6a253f6
Merge "Avoid Database::tableName in WikiExporter"