diff options
author | Remi Collet <remi@remirepo.net> | 2018-03-15 11:33:09 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-03-15 11:33:09 +0100 |
commit | 90c7a06a5d97863e1d9bc197458880fc141e59fd (patch) | |
tree | c863e57560dffd41e58ab43df9bd7b8bf18497dc /php-7.2.0-includedir.patch | |
parent | 0b08da1509cf4777588408185a5b2d64a58fc672 (diff) |
add file trigger to restart the php-fpm service when new pool or new extension installed (F27+)
Diffstat (limited to 'php-7.2.0-includedir.patch')
0 files changed, 0 insertions, 0 deletions