diff options
| author | Sebastian Rasmussen <sebras@gmail.com> | 2018-05-11 20:05:33 +0800 |
|---|---|---|
| committer | Sebastian Rasmussen <sebras@gmail.com> | 2018-05-11 20:09:22 +0800 |
| commit | 03ea88f91e120898a26153cecc8cf3d7747a57ba (patch) | |
| tree | 7b3c6da1a2a53790b6f7b8ca45b8ea26c4adbe7c /platform | |
| parent | e6dfa88940aec6820411fc0d013c2bd0faa5547e (diff) | |
| download | mupdf-03ea88f91e120898a26153cecc8cf3d7747a57ba.tar.xz | |
Fix 699332: Copy resources when cleaning content streams.
Previously if both cleaning and sanitizing content streams the
pages' resource dictionaries would retain the actually used
resources. If the content streams were only cleaned and not
sanitized the page's resource dictionaries were incorrectly
emptied. All resources, whether used or not, ought to be
retained, as is the case after this commit.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions