]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorRemi Collet <remi@php.net>
Wed, 14 Feb 2018 12:29:27 +0000 (13:29 +0100)
committerRemi Collet <remi@php.net>
Wed, 14 Feb 2018 12:29:27 +0000 (13:29 +0100)
* PHP-7.2:
  add pkg-config example in extension skeleton


Trivial merge