Subject: Re: bug#28625: [PROPOSED] Speed up (format "%s" STRING) and the like
From: Paul Eggert <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked]
Date: Wed, 4 Oct 2017 14:45:45 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

On 09/29/2017 08:48 AM, Eli Zaretskii wrote:
> Fine with me for the release branch.

Thanks, no further comment so I installed it and am closing this bug report.