projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 10a1b82 34a8f86)
Merge pull request #13107 from eileenmcnaughton/php72Countable
authorEileen McNaughton <eileen@mcnaughty.com>
Thu, 15 Nov 2018 23:00:36 +0000 (12:00 +1300)
committerGitHub <noreply@github.com>
Thu, 15 Nov 2018 23:00:36 +0000 (12:00 +1300)
Fix warning error on php 7.2


Trivial merge