diff options
author | 2018-06-15 11:34:40 -0700 | |
---|---|---|
committer | 2018-06-15 11:34:40 -0700 | |
commit | 1c78de1fb6edf610c3d5ea086f525ffbc58255b1 (patch) | |
tree | 6a2fff18ee284fd38a610a1bd6f43d3b6b9e33c9 /src/php/.gitignore | |
parent | 17ae5cef8dce737cb7597c82b8110b3472c36e56 (diff) | |
parent | 8cbd880b1ff7442f02122e97290686939cb1b337 (diff) |
Merge pull request #15781 from mehrdada/backport-15727-to-v1.13.x
Backport 15727 into v1.13.x (Add a null check for the endpoint on shutdown)
Diffstat (limited to 'src/php/.gitignore')
0 files changed, 0 insertions, 0 deletions