]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.4'
authorPeter Kokot <peterkokot@gmail.com>
Sat, 18 May 2019 00:07:04 +0000 (02:07 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Sat, 18 May 2019 00:07:04 +0000 (02:07 +0200)
commit4d07bba919b63e1e94c4994cbdc3a203ee060d01
tree2da67d8b278af1cb486736c047cc543fb9a43c8e
parent0a7d71b5930a463dfefc456e57ffdf7937acb421
parent29bff939c7bb2385b3ec2c6e610bc921360a8a4b
Merge branch 'PHP-7.4'

* PHP-7.4:
  Enhance makedist script
.gitignore