diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-26 17:35:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-26 17:35:32 +0200 |
| commit | 282c0483c9688de79e0c147eb26638d48fb46ed8 (patch) | |
| tree | 620f92952eff6b7936d94a598aa117ed27faf795 /misc | |
| parent | 653b4829f1bee9e6bfae9d353b6e1145cea0aece (diff) | |
| parent | e4af39cbc00446b03d142882a69813e94f0838b2 (diff) | |
Merge pull request #21411 from Crazy-P/fixes-several-resource-leaks
Fixes several resource leaks listed on coverity
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions