]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.3'
authorPeter Kokot <peterkokot@gmail.com>
Sun, 5 Aug 2018 23:39:07 +0000 (01:39 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Sun, 5 Aug 2018 23:39:07 +0000 (01:39 +0200)
commitee3d32d44bcb12d75ab5a52c5a284c4257b225c3
tree63f7c0f4ba348b76693f48b3c52dd7f5b7f2374b
parentdae65a89aa45dcf51da9a4aac37f8cf8b1211563
parentc9ff518665c7c81e1da928bd33939172381e678b
Merge branch 'PHP-7.3'

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