Merge pull request #17772 from seamuslee001/dev_core_1860
authorSeamus Lee <seamuslee001@gmail.com>
Wed, 8 Jul 2020 23:19:13 +0000 (09:19 +1000)
committerGitHub <noreply@github.com>
Wed, 8 Jul 2020 23:19:13 +0000 (09:19 +1000)
commit6558867cef00442180bd9d54c32d0e8bcdf7dac0
treede9854df8f4560da231641d66eb396402c16176a
parentbd9d587ab18c1a32cd3d48b23e9219dbe74da4f3
parentaf89d33b82dbd08d6f72d9478ac49d49f552a1c0
Merge pull request #17772 from seamuslee001/dev_core_1860

dev/core#1860 Fix installing on PHP7.3 Ubuntu 20.04 and MariaDB 10.3