Amitai Hoze <amitai.h...@gmail.com> writes:

> Hi, sorry, I opened the page and the mistake is still there.

The page may take some time to be updated. However, the texi manual is
fixed.


Regards,

Reply via email to