forwarded 491392 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75208
thanks

I was hoping the maintainer would do it, but I've finally forwarded the
bug upstream and got a small concession in the wording of the info doc.

-- 
Tim Connors

Reply via email to