]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorJoe Watkins <krakjoe@php.net>
Tue, 25 Jul 2017 05:35:49 +0000 (06:35 +0100)
committerJoe Watkins <krakjoe@php.net>
Tue, 25 Jul 2017 05:35:49 +0000 (06:35 +0100)
commit5718c6e66012c96686c9f4dba0746cca9db8426b
tree07ebe6d0d309c5d869cd9d628c6f47325fa31c8b
parent3964678d492b698a20aa4eace02ab95636ec6f2d
parent66729aeeebbd919162e7a468ad57bbf6a0a02ab3
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix ext/sodium display in phpinfo()