projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bd9d587 af89d33)
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)
dev/core#1860 Fix installing on PHP7.3 Ubuntu 20.04 and MariaDB 10.3


Trivial merge