diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-02 13:16:35 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-02 13:16:35 +0200 |
commit | 1d6f37f80c01cfedef365179e1749480c7924ac2 (patch) | |
tree | 0f7c838c73d27ec7b817cf8b087577908dca7c32 /platform/android/export/export_plugin.cpp | |
parent | 5fe97c58449e610eb3b261d8b03662c90b9a351d (diff) | |
parent | 8980211c08c4b9693558a69f90a16be3c3e68969 (diff) | |
download | redot-engine-1d6f37f80c01cfedef365179e1749480c7924ac2.tar.gz |
Merge pull request #82573 from Chaosus/fix_animationtree_crash
Fix crash when deleting the player in `AnimationPlayerEditorPlugin`
Diffstat (limited to 'platform/android/export/export_plugin.cpp')
0 files changed, 0 insertions, 0 deletions