Subject: Re: merging byte to wide char caches in gawk
From: Paul Eggert <[email-masked]>
To: Aharon Robbins <[email-masked]>
Cc: [email-masked]
Date: Fri, 2 Sep 2016 15:46:53 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

> The silence in response to this has been thundering. :-(

Yes, it was pretty quiet....

I think we just now finally got around to incorporating all the ideas behind the 
patch in Bug#23358, albeit in a different way, so I'm boldly closing the bug report.