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 /doc/en | |
| 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 'doc/en')
0 files changed, 0 insertions, 0 deletions