Subject: Closing bug: patch is installed
From: Reuben Thomas <[email-masked]>
To: [email-masked]
Date: Thu, 24 Aug 2017 19:52:11 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

I've installed the patch, so closing the bug. There are some lingering
doubts over the correctness of the use of decode-coding-string, but
they're outside the scope of this bug.

-- 
https://rrt.sc3d.org