Subject: Re: merging byte to wide char caches in gawk

From: Paul Eggert <[email-masked]>
Date: Fri, 2 Sep 2016 15:46:53 -0700

> 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.