diff options
author | Guilherme Felipe de C. G. da Silva <guilhermefelipecgs@gmail.com> | 2022-06-07 23:06:45 -0300 |
---|---|---|
committer | Guilherme Felipe de C. G. da Silva <guilhermefelipecgs@gmail.com> | 2022-06-08 17:08:48 -0300 |
commit | 7fc3aa43ce39d8d12e57ec0585a9aed716f1ec24 (patch) | |
tree | 205f4cf03122412a1f0d1bc7d86a04582eae789f /platform | |
parent | 3f8d86b076bb7a15b1f5b34dc709090f6d3e3bc3 (diff) |
Fix ObjectDB instances leaked on state machine when editor closes
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions