diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-29 18:39:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-29 18:39:49 +0200 |
commit | 140905df8dd4147dc465b2cfb4416a27260e1b9c (patch) | |
tree | b41435bfa4127df90f726c6e844658aa18ef4684 /thirdparty/libsimplewebm/LICENSE | |
parent | 8ee7adac1e285b47bd16d7420365fc5976a88a78 (diff) | |
parent | a03af773e83f4acf71842de3f3c8a02fef600fcf (diff) |
Merge pull request #51024 from Chaosus/clear_processes_ids
Clear debug process identifiers array at `stop()` to prevent invalid checking of them
Diffstat (limited to 'thirdparty/libsimplewebm/LICENSE')
0 files changed, 0 insertions, 0 deletions