diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-08-06 01:28:39 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-08-06 01:28:39 +0200 |
commit | 68ab719baa47a97bf22564314e3d8454231322ad (patch) | |
tree | 01cc3f1030358281d2210dd93b66a6988f98363f /sapi/phpdbg/phpdbg_cmd.c | |
parent | 6680d5f87579b8748ca4b19392fe92875900fce7 (diff) | |
parent | 45a3c0e5969b482ffdcf5674039784b3a2c24e33 (diff) | |
download | php-git-68ab719baa47a97bf22564314e3d8454231322ad.tar.gz |
Merge branch 'PHP-7.1' into PHP-7.2
* PHP-7.1:
Fix bug #72443: Generate enabled extension
Diffstat (limited to 'sapi/phpdbg/phpdbg_cmd.c')
0 files changed, 0 insertions, 0 deletions