Subject: bug#60308: 30.0.50; Can't read some PDF files any more

From: Gregory Heytings <[email-masked]>
Date: Wed, 11 Jan 2023 16:26:26 +0000

>
> It seems that your patch was merged upstream: 
> https://bugs.ghostscript.com/show_bug.cgi?id=706320
>

Great, that was fast! 😃

>
> So I think that we could left `doc-view-mupdf-use-svg' as it is and just 
> have an entry in etc/PROBLEMS.
>

Agreed, just mentioning that some specific versions of mupdf have a bug 
should be enough.  It would be even better if DocView could automatically 
fall back to generating a PNG file, but that seems rather complex to do.