projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1b97d72 978e5e1)
Merge pull request #18597 from seamuslee001/core_exts_distmaker
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 25 Sep 2020 21:42:50 +0000 (09:42 +1200)
committerGitHub <noreply@github.com>
Fri, 25 Sep 2020 21:42:50 +0000 (09:42 +1200)
[REF] Include recently added core extensions into distmaker


Trivial merge