diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-13 18:40:44 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-13 18:40:44 +0200 |
commit | 027df4124473f4ff09be2f6a08a0770befc6a077 (patch) | |
tree | aa6613639a86e717aee0c53d861d71d1072de13a /editor/icons/GuiUncheckedDisabled.svg | |
parent | 2c13919e2876d8d1e1c92dac67f23ce6cc5ec089 (diff) | |
parent | 0fe01b6b4a3ddcc1acf3f1a01e1529328a6569d7 (diff) |
Merge pull request #67354 from Faless/ws/fix_double_free
[WebSocket] Fix potential double free after multiplayer clear.
Diffstat (limited to 'editor/icons/GuiUncheckedDisabled.svg')
0 files changed, 0 insertions, 0 deletions