]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' into PHP-7.2
authorRemi Collet <remi@php.net>
Thu, 16 Aug 2018 04:54:57 +0000 (06:54 +0200)
committerRemi Collet <remi@php.net>
Thu, 16 Aug 2018 04:54:57 +0000 (06:54 +0200)
commit2cdde35d0f9ce3c20d01a42dee1d852afc72a60f
tree51c0cd2caa25a8c309103fa0cc72e0e51c5fbf5f
parent56abfd2798bed7d33885900f07e5f0442b079616
parent1f2f2c6b9671ea18404d30c0c30cb1c8b88d4e60
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  fix man page installation