diff options
author | Kevin Smith <git@kismith.co.uk> | 2018-07-17 14:58:05 (GMT) |
---|---|---|
committer | Tobias Markmann <tm@ayena.de> | 2019-01-07 18:02:36 (GMT) |
commit | 1632f62222bb10516b2f85249083c0fb30c7d1b3 (patch) | |
tree | c3bcc203758eec7af5bc1e8c0aefd1c0688c8401 /BuildTools/DocBook/Stylesheets/html | |
parent | 1d18148c86377787a8c77042b12ea66f20cb2ca9 (diff) | |
download | swift-1632f62222bb10516b2f85249083c0fb30c7d1b3.zip swift-1632f62222bb10516b2f85249083c0fb30c7d1b3.tar.bz2 |
Don't crash on missing bookmark result
Test-Information:
Before the patch, boom, after the patch, no boom.
(No boom today. Boom tomorrow. There's always a boom tomorrow)
Change-Id: Id454d7b0d0cd05774d0f1ee0b3cb77057371c459
Diffstat (limited to 'BuildTools/DocBook/Stylesheets/html')
0 files changed, 0 insertions, 0 deletions