diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-09 18:38:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 18:38:18 +0100 |
| commit | 7d9eed093ad918a97b744194bfbba07b36ff6b15 (patch) | |
| tree | 9b2a66fa1dea01dd2a1402377663106871e0c6ba /main/main_builders.py | |
| parent | fa4ddbcb33fc5244e80099bd558e623428e424f5 (diff) | |
| parent | 25c4dacb880724a8e5dec88ca922f57215e153ef (diff) | |
Merge pull request #45853 from groud/fix_crash_on_exit
Fixes crash when exiting with --verbose with leaked resources
Diffstat (limited to 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions