diff options
| author | Remi Collet <remi@php.net> | 2019-03-05 07:32:54 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2019-03-05 07:32:54 +0100 |
| commit | 72bfb2523a80584caa9bf3243e43bffc5d0d7d45 (patch) | |
| tree | 3850b116fe9c2140077edaeb116673d98d923f7e /main/php.h | |
| parent | 007ac353dd0fdc0930b7683008f3c6bd068aadf1 (diff) | |
| parent | 0e836f523a9ee93ff6ca033fe962eb2d861acd64 (diff) | |
| download | php-git-72bfb2523a80584caa9bf3243e43bffc5d0d7d45.tar.gz | |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
add NEWS entry
Diffstat (limited to 'main/php.h')
0 files changed, 0 insertions, 0 deletions