Subject: Re: bug#18536: [PATCH] Fix unread-string for characters 0x80 <= c < 0xf0 in UTF-8
From: Mark H Weaver <[email-masked]>
To: David Kastrup <[email-masked]>
Cc: [email-masked]
Date: Tue, 23 Sep 2014 21:44:38 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to master, commit f7582f9807d9a10fba86f54c4aeaa7444c51a315.
I'm closing this bug now.

     Thanks,
       Mark