Hi Paul,

On Fri, Jul 19, 2024 at 10:47:11AM GMT, Paul Eggert wrote:
> Thanks, I installed the attached, which should fix the problems you
> mentioned in a less-invasive way.

Thanks!  I'll re-check again later to have a fresh look at the code, but
LGTM, I think.

Have a lovely night!
Alex


-- 
<https://www.alejandro-colomar.es/>

Attachment: signature.asc
Description: PGP signature

Reply via email to