diff options
author | Jakub Zelenka <bukka@php.net> | 2019-05-11 20:07:39 +0100 |
---|---|---|
committer | Jakub Zelenka <bukka@php.net> | 2019-05-11 20:07:39 +0100 |
commit | cc5c51e7f0732067f105d13c6d355fcab5965c2f (patch) | |
tree | d3a9fc2ff6b2e13bcd21a3542a21dc91b8a8e35d /ext/reflection/php_reflection.c | |
parent | b15bfb9129eb7941b3643209243caba891e4d25d (diff) | |
download | php-git-cc5c51e7f0732067f105d13c6d355fcab5965c2f.tar.gz |
Fix bug #77934 (php-fpm kill -USR2 not working)
Diffstat (limited to 'ext/reflection/php_reflection.c')
0 files changed, 0 insertions, 0 deletions