Merge "Defines: Drop DB_SLAVE, deprecated since 1.28"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 14 Jun 2019 11:06:07 +0000 (11:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 14 Jun 2019 11:06:07 +0000 (11:06 +0000)
commitc2ef2a8eceef3d125ecac0286344f14f0abc411c
tree7ac668cf3c9b59cd793e60739554cb0cfb8b51da
parent4b07863b72827f83c0b93e60f2a65e8fec33a180
parent0653e575fc641ee828a949b2e06a11a7500ab3cd
Merge "Defines: Drop DB_SLAVE, deprecated since 1.28"