Amitai Hoze <[email protected]> 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