]> git.openstreetmap.org Git - chef.git/commitdiff
Merge pull request #332 from Firefishy/git-civicrm-fix
authorGrant <git@firefishy.com>
Thu, 20 Aug 2020 11:18:00 +0000 (12:18 +0100)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 11:18:00 +0000 (12:18 +0100)
civicrm: checkout full depth on extensions


Trivial merge