Merge "PostgresUpdater: Rename custom "dropIndex" to "dropPgIndex""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Mar 2018 17:16:55 +0000 (17:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Mar 2018 17:16:55 +0000 (17:16 +0000)
commit19e9e672f31c792622fc8c27ad511f27263979a8
treed3a9d2d6ef6ed3eda979c32e6e8469c00d922c20
parent51eba1974c51c4874eb64d639fa5ae0eb56ef0d4
parentd001e72b52c22ba9877d4b4e593bc2c5ee2bddad
Merge "PostgresUpdater: Rename custom "dropIndex" to "dropPgIndex""