diff options
author | Julian Andres Klode <jak@debian.org> | 2016-07-05 08:21:28 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-07-05 08:22:52 +0200 |
commit | 8823972649b0d3049c9c0d34b5f1d31160234fb4 (patch) | |
tree | e30b111bd9c2b5bfc0f47626e66887113207f422 /completions | |
parent | 0b45b6e5de1ba4224ced67a9952e009d0f4139a0 (diff) |
indextargets: Check that cache could be built before using it
This caused a crash because the cache was a nullptr.
Closes: #829651
Diffstat (limited to 'completions')
0 files changed, 0 insertions, 0 deletions