diff options
author | Ladislav Zezula <zezula@volny.cz> | 2021-03-31 08:00:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 08:00:09 +0200 |
commit | b8c83a5cd67d5535f56bf42223a3c13e2a630026 (patch) | |
tree | fb916d458e5ec3a9ad58d85be1de25e133c5c0dd /src/jenkins | |
parent | bd4d6bdd418ed25f15a162bff84f6b7921a39aaf (diff) | |
parent | d7a3aec8126abb4f9258aa41dcf6db550b315471 (diff) |
Merge pull request #208 from glebm/invalidate-handle
FileStream: Ensure file handle invalidation on error
Diffstat (limited to 'src/jenkins')
0 files changed, 0 insertions, 0 deletions