diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-06 08:35:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-06 08:35:56 +0200 |
| commit | b79721fede1dd64e319acaeccc494203a58fd274 (patch) | |
| tree | 769e045790a308bda80ef99454bcd01b6689a65f /servers/navigation_server_3d.h | |
| parent | e4f0fc50f79336cf76beec40e5e8e5164b288714 (diff) | |
| parent | daa42e0e5094b492bad3b8e635650b76c72f8346 (diff) | |
Merge pull request #59908 from bruvzg/fix_popup_close_race
Fix a possible race condition on popup close, that might cause multiple deletions of the same list item.
Diffstat (limited to 'servers/navigation_server_3d.h')
0 files changed, 0 insertions, 0 deletions