Yes - that seems to fix the problem ! Thanks Paul.

On Thu, Aug 21, 2025 at 4:03 PM Paul Eggert <egg...@cs.ucla.edu> wrote:
>
> Thanks for the bug report. Although this part of the code is messy and
> needs a revamp, in the meantime I installed the attached into the master
> branch on Savannah; please give it a try.



Reply via email to