diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-20 16:28:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-20 16:28:42 +0100 |
| commit | fd8f679b13c3906d15a6f4a9d9e38c7705e76b9f (patch) | |
| tree | 97e210b58713bab4d64dac1c94d16d8d338a0918 /editor | |
| parent | 360449a0943970274311ceebd71dcb85637f110f (diff) | |
| parent | 0f223783dca992d15ce2f5bfd8c8b92899c7a1b6 (diff) | |
Merge pull request #14860 from chongdashu/fix-12946-crash-editor-save-exit
Fix editor crash on "save and exit" bug
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions