diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-02-14 08:02:19 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-02-14 08:03:32 -0300 |
| commit | f981e9fe915532d6902912c5e038c30f8baf3ed5 (patch) | |
| tree | d27549a435a063d5aff9305deaedd9b47d049a37 /thirdparty/embree/kernels/common/instance_stack.h | |
| parent | 89ca15693ee81fa497d1bab24bd772a98bf56279 (diff) | |
Avoid case where editors are deleted while moved, fixes #25508, fixes #24829
Diffstat (limited to 'thirdparty/embree/kernels/common/instance_stack.h')
0 files changed, 0 insertions, 0 deletions