]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Fri, 28 Jul 2017 05:30:23 +0000 (07:30 +0200)
committerAnatol Belski <ab@php.net>
Fri, 28 Jul 2017 05:30:23 +0000 (07:30 +0200)
commit87192f0fab437d5e6b91729bb1d294abc29a9de8
treefa8123b81c3f8ce0ec2622d1ef65e78dbfd779f3
parent2269ae09e47b317eabbc3a6a4c91c955eb466905
parent80d839d25a64cb66db9356dd11e5d23e9457ee62
Merge branch 'PHP-7.2'

* PHP-7.2:
  add missing makefile fragment for .w32