Merge pull request #12898 from kenwest/dev_core_423
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 8 Oct 2018 07:59:25 +0000 (18:59 +1100)
committerGitHub <noreply@github.com>
Mon, 8 Oct 2018 07:59:25 +0000 (18:59 +1100)
dev/core#423 MySQL 5.7 complains about 4.7.19 upgrade script


Trivial merge