Subject: Re: bug#13679: 24.2.93; doc-view-mode cannot handle PDFs whose filename contains a percentage sign
From: Stefan Monnier <[email-masked]>
To: Elias Pipping <[email-masked]>
Cc: [email-masked]
Date: Mon, 11 Feb 2013 14:30:40 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

> I've attached the simplest fix I could think of.

Looks good, thank you, installed in a slightly simpler form (using
subst-char-in-string and without defining a separate function for it).

        Stefan