projects / civicrm-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 164f965 d3430cf)
Merge pull request #15343 from colemanw/upgrader
authorSeamus Lee <seamuslee001@gmail.com>
Sun, 22 Sep 2019 21:13:20 +0000 (07:13 +1000)
committerGitHub <noreply@github.com>
Sun, 22 Sep 2019 21:13:20 +0000 (07:13 +1000)
Upgrader: handle missing obsolete extensions


Trivial merge