Merge "Disallow setting DBO_IGNORE in Database for sanity"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Nov 2017 21:54:15 +0000 (21:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Nov 2017 21:54:15 +0000 (21:54 +0000)
commit4ac20c2c3b18ffc70fbb2518d8ea6bd16a7bafd8
tree12771d36f51aff464e5e1aa89cd132d14613d7c1
parente5b60b349e1e0892d3daee828f6e5352859f5e1c
parente0805d32e4e00a530dd8445863b2bf9e51ce2f74
Merge "Disallow setting DBO_IGNORE in Database for sanity"