]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorRemi Collet <remi@php.net>
Sun, 27 Aug 2017 05:50:31 +0000 (07:50 +0200)
committerRemi Collet <remi@php.net>
Sun, 27 Aug 2017 05:50:31 +0000 (07:50 +0200)
commit5f4a417537117ed5baadb4c0a1c738cdb4638c86
tree3b461a7615a9e09429dff094246d460b8ad3b995
parentbd6630ea8e1b533b8ebf636accdb5525d37a66ba
parentcc577749a8c95e6f15f5a859961a995a82828c8e
Merge branch 'PHP-7.2'

* PHP-7.2:
  Improve pkg-config usage - use default path when run using --with-curl=/usr (for debian) - fallback to headers search when libcurl.pc not found - issue warnings for explanation