diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2022-06-28 12:32:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-28 12:32:52 +0200 |
| commit | 0f780f6c0bc61294f735f2ccb7209226121e5918 (patch) | |
| tree | 169fbc62a1172321d3a8d72805d5cfba9e96e747 /src/server | |
| parent | 23386134013425a47fbfe43928d16f1420b55bfa (diff) | |
Remember to close the handle in `get_case_sensitive_path`
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions