]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorPeter Kokot <peterkokot@gmail.com>
Fri, 19 Apr 2019 19:11:01 +0000 (21:11 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Fri, 19 Apr 2019 19:11:01 +0000 (21:11 +0200)
commitd1bce985970d180ceb648c4d4de68a60cb242e08
tree2ecde0004abcb11a62ef1c3c000520c9478380a7
parentfd4c42efabb5813a10a8653fa48c3568a2525a41
parent06fa35568e1b25640cf8fbcd150d01477390132f
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Update Git repository for Windows build tool kit