Subject: Re: bug#23325: 25.0.92; insert-char: cannot find all chars if input, is unicode name

From: Paul Eggert <[email-masked]>
Date: Sat, 23 Apr 2016 12:52:27 -0700

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