Merge pull request #15764 from civicrm/5.20
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 7 Nov 2019 23:36:13 +0000 (10:36 +1100)
committerGitHub <noreply@github.com>
Thu, 7 Nov 2019 23:36:13 +0000 (10:36 +1100)
5.20

1  2 
api/v3/Extension.php

Simple merge