projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d62cc08 bce7c8a)
Merge pull request #13132 from eileenmcnaughton/php72
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 20 Nov 2018 05:30:05 +0000 (16:30 +1100)
committerGitHub <noreply@github.com>
Tue, 20 Nov 2018 05:30:05 +0000 (16:30 +1100)
Fix php 7.2 notice


Trivial merge