Subject: Re: [PROPOSED PATCH] Extend ‘format’ to translate curved quotes
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 14 Aug 2015 16:10:43 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed this as master commit 244c801689d2f7a80480d83cd7d092d4762ebe08 and 
am marking this as done.