Re https://bugs.gnu.org/35438
Thank you. I've pushed that patch with a tiny wording change at the end.



Reply via email to