Subject: Re: bug#35689: Customizable char-fold
From: Juri Linkov <[email-masked]>
To: [email-masked]
Date: Tue, 23 Jul 2019 23:28:09 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks to everyone who helped!  Pushed to master as 376f5df3cc.