]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Fri, 18 Aug 2017 22:32:25 +0000 (00:32 +0200)
committerAnatol Belski <ab@php.net>
Fri, 18 Aug 2017 22:32:25 +0000 (00:32 +0200)
commitfb55ec36e3adbc2b880d399b794c80f25d93651b
treecc732c780a201c780948199b1fc4be823ec40dfa
parentb6ea3ec2a1a66700bbb4faced99b4b78b4599191
parentf2ed8c1087a0baa5000e629e287964d13180bd6b
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix .pgd name for ts build