On Fri, 9 Sep 2022 16:59:21 -0500 Paul Eggert <egg...@cs.ucla.edu> wrote:
> Thanks for the bug report. I installed the attached, which isn't the > same as what you suggested, but which should fix the problem. You version works for me as well. Thank you! -- Sergei
