diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-15 09:27:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-15 09:27:32 +0100 |
commit | 3f74a54cd498a7857557bdca6b034b0b38f662b0 (patch) | |
tree | 3c6a0192d9e6ece63c25db1be8ecabf5a4d2a6c4 /editor/plugins/animation_player_editor_plugin.h | |
parent | e7e4d41a29044be753d1ab1574e131b02c9df007 (diff) | |
parent | 761caac0b24062f76d875c72722c1d07b64fb4ad (diff) |
Merge pull request #25894 from marcelofg55/last_mouse_focus_crash
Fix possible crash with an invalid last_mouse_focus pointer
Diffstat (limited to 'editor/plugins/animation_player_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions