Thanks for checking the revised patch, and I installed it with the additional line "Co-authored-by: Paul Eggert <egg...@cs.ucla.edu>".

Reply via email to