diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-03 12:22:24 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-03 12:22:24 +0100 |
| commit | 1b634c06d08c99f176122331f697e6525a76bf01 (patch) | |
| tree | b4d51265754a7dd4b63c4fb394649f17ef3bad16 /editor/editor_builders.py | |
| parent | 5638fcdd7109e9827bd4f8c05a886eff74bfc021 (diff) | |
| parent | ea33001b95d57f7b400d78d4b20bef23293d9077 (diff) | |
Merge pull request #69972 from adamscott/add-server-checks-before-free
Add safety-checks before some servers `free()`
Diffstat (limited to 'editor/editor_builders.py')
0 files changed, 0 insertions, 0 deletions