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