projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ef5c5cd f087954)
Merge pull request #13326 from mlutfy/intall-php72
authorTim Otten <totten@civicrm.org>
Thu, 20 Dec 2018 02:02:52 +0000 (18:02 -0800)
committerGitHub <noreply@github.com>
Thu, 20 Dec 2018 02:02:52 +0000 (18:02 -0800)
installer: PHP 7.2 compatibility fixes


Trivial merge