diff options
| author | Charles Lombardo <clombardo169@gmail.com> | 2024-01-15 13:50:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-15 13:50:43 -0500 |
| commit | db3a6075f58fd3b4d3de9f2a472c29b57d6e1321 (patch) | |
| tree | ff03cd23c0bec177c4770d0511024ff84bc5b451 /.ci/scripts/format/script.sh | |
| parent | 817c7c445dcad03756e484810445d1d3ebc2bde2 (diff) | |
| parent | 200b371d13bb5919ce68d72c760b86313bec3b0f (diff) | |
Merge pull request #12610 from liamwhite/reply-and-dont-receive
server_manager: respond to session close correctly
Diffstat (limited to '.ci/scripts/format/script.sh')
0 files changed, 0 insertions, 0 deletions