Merge "Use binary charset in default table options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Sep 2018 22:12:55 +0000 (22:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Sep 2018 22:12:55 +0000 (22:12 +0000)
commit6d4f11c2e3de50b41bd6df0bce125f0800c6d991
treec1e683d66a1e77e7c6c0e744bb7ca73d377f1c20
parentb495d51657d5b488c23f82650615443215339232
parent9bea45eab77f731aaba56b69aa9432f41d199ef8
Merge "Use binary charset in default table options"
includes/DefaultSettings.php