projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6bd8d4f 9a38d08)
Merge pull request #12544 from totten/master-redis-pool
authorEileen McNaughton <eileen@mcnaughty.com>
Tue, 24 Jul 2018 19:37:30 +0000 (07:37 +1200)
committerGitHub <noreply@github.com>
Tue, 24 Jul 2018 19:37:30 +0000 (07:37 +1200)
(dev/core#217) CRM_Utils_Cache_Redis::connect() - Allow pooling connections


Trivial merge