diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-09-07 15:31:19 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2018-09-07 15:31:53 -0300 |
commit | 4b6846a59d785af3bef6a29958387ed0ee0f6575 (patch) | |
tree | 54e04d97444e034b3e8fb89deeef5fdcaa5948f3 /servers/visual/visual_server_global.h | |
parent | fc50728d451e438db245d92698115cfc9c3720cf (diff) |
Ensure that tree_exited signal really happens after tree exited, fixes #19641
Diffstat (limited to 'servers/visual/visual_server_global.h')
0 files changed, 0 insertions, 0 deletions