Subject: Re: bug#35689: Customizable char-fold

From: Juri Linkov <[email-masked]>
Date: Tue, 23 Jul 2019 23:28:09 +0300

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