summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJulian Andres Klode <jak@debian.org>2016-07-05 08:21:28 +0200
committerJulian Andres Klode <jak@debian.org>2016-08-31 13:49:37 +0200
commitd30f800560010cb123fdd74b46c727df0e54eaed (patch)
treec74a1b75c3b5dfcbcc57a3f32955afdce25a1a49 /doc
parentde2c7e41ab4fe0e1e899e1d87c991e32cd343365 (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