Merge pull request #15352 from colemanw/extCompat
authorTim Otten <totten@civicrm.org>
Sun, 6 Oct 2019 23:48:13 +0000 (00:48 +0100)
committerGitHub <noreply@github.com>
Sun, 6 Oct 2019 23:48:13 +0000 (00:48 +0100)
Improve obsolete extension management


Trivial merge