]> granicus.if.org Git - php/commit
Update versions for PHP 7.2.12 php-7.2.12
authorRemi Collet <remi@php.net>
Tue, 6 Nov 2018 10:33:06 +0000 (10:33 +0000)
committerRemi Collet <remi@php.net>
Tue, 6 Nov 2018 10:33:06 +0000 (10:33 +0000)
commit6c5fc072c8279ba76f5981ba8a0ff4dd7585bf29
tree87ab3cb75cf5b212da659145ef08820ac4e19bfc
parentde646e6d72bf3a05572e6725ce31dfeb0fa47408
Update versions for PHP 7.2.12
configure.ac
main/php_version.h