Subject: Re: bug#23325: 25.0.92; insert-char: cannot find all chars if input, is unicode name
From: Paul Eggert <[email-masked]>
To: Tino Calancha <[email-masked]>
Cc: [email-masked]
Date: Sat, 23 Apr 2016 12:52:27 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks, I installed that patch and am closing the bug report.