diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-26 07:28:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-26 07:28:50 +0100 |
commit | a98e9496eb71554656c7c1eed9a69d20aed9886c (patch) | |
tree | 06c08983cf69d77b5ff56cb10fad7ea2cc723b8a /editor/editor_profiler.h | |
parent | 76ec7280036930a7701d0a92a817ca3a79fcd936 (diff) | |
parent | 562ec3f5e6260592e14db3d7d388eb5585c99381 (diff) |
Merge pull request #16073 from neikeq/AaaaHH
Mono: Don't defer call to dispose queue objects when finalizing domain
Diffstat (limited to 'editor/editor_profiler.h')
0 files changed, 0 insertions, 0 deletions