projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c9ec1b2 698721f)
Merge pull request #12757 from colemanw/ext
authorcolemanw <coleman@civicrm.org>
Fri, 31 Aug 2018 19:11:55 +0000 (15:11 -0400)
committerGitHub <noreply@github.com>
Fri, 31 Aug 2018 19:11:55 +0000 (15:11 -0400)
Show ext version status even when directory not writeable


Trivial merge