diff options
author | Bastien Montagne <montagne29@wanadoo.fr> | 2018-04-23 13:27:09 +0300 |
---|---|---|
committer | Bastien Montagne <montagne29@wanadoo.fr> | 2018-04-23 13:31:03 +0300 |
commit | dc16f6fedc0c551032e1b732850cfb6ab2b5c785 (patch) | |
tree | 1a7faed3f72bf9e76cd86495a9e115265153bbbc /source/tools | |
parent | f19e8eaa4b529988e89d5c2e2965728351bc3465 (diff) |
Fix T54767: Crash in versionning code for recent editors' removal.
Always check for non-Null pointers there! This versionning code is
called from many different places, with many different kind of Main's.
Diffstat (limited to 'source/tools')
m--------- | source/tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/source/tools b/source/tools -Subproject f35d8e55afffb9da50cc13b14615ed280f9e558 +Subproject 56f3887596b538a9fc17e0439883f2e2305f263 |