]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorPeter Kokot <peterkokot@gmail.com>
Sun, 5 Aug 2018 23:34:31 +0000 (01:34 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Sun, 5 Aug 2018 23:34:31 +0000 (01:34 +0200)
commitc9ff518665c7c81e1da928bd33939172381e678b
treed7b55ff568288db04017a7042f44b2fad23365ca
parentd4053cee6b9dfd7112fae03a921553793b99dfc0
parent68ab719baa47a97bf22564314e3d8454231322ad
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix bug #72443: Generate enabled extension