Thanks for checking the revised patch, and I installed it with the additional line "Co-authored-by: Paul Eggert <[email protected]>".

Reply via email to