]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Tue, 8 Aug 2017 15:59:59 +0000 (17:59 +0200)
committerAnatol Belski <ab@php.net>
Tue, 8 Aug 2017 15:59:59 +0000 (17:59 +0200)
commitcd5365c8495ea6f8d7142e1cab20ac325f48c89a
treeedce914f65030abbfe68ed8111fe8c9633e8f13a
parentbecd242c782b6d618366d373137e12c22beb2af7
parente62db6309c4f0abff32cff90fe5b1cf67b105b6a
Merge branch 'PHP-7.2'

* PHP-7.2:
  Sync makefile options for phpize