diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-27 22:06:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-27 22:06:52 +0200 |
| commit | 3942c939e3ed152d4cf9647411f34d1bc14cdec2 (patch) | |
| tree | 4eaf556bd011e859c9ca6162cacf6dae5b803397 /platform | |
| parent | 0636f709af58adfb04d9326192ae915f389c59f7 (diff) | |
| parent | d408c254a2a13deba1004b18f2d35bb4844eb883 (diff) | |
Merge pull request #30135 from qarmin/fix_memory_leak_os
Fix small memory leak in OS.cpp
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions