diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-01-06 19:05:34 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2018-01-06 19:06:04 -0300 |
commit | bfeaf27a3e41cd60ec7be4c1d88a3edd2c2a6d87 (patch) | |
tree | 6ec098fb30ffebac652838b9cd38abaa866306ea /editor/doc | |
parent | 59f92e46b9271ed6c5e45f00961fb6066df8339a (diff) |
Properly dispose of instance capture data, fixes #14795
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions