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 /core/rid.h | |
parent | 89ca15693ee81fa497d1bab24bd772a98bf56279 (diff) |
Avoid case where editors are deleted while moved, fixes #25508, fixes #24829
Diffstat (limited to 'core/rid.h')
0 files changed, 0 insertions, 0 deletions