On Fri, Jun 29, 2018 at 6:46 AM, Melvin Mawhin
<[email protected]> wrote:
> Also I attached the texi sources with a debug.sh script. just run the script
> to reproduce the error

Thank you for sending this; unfortunately I do not get the error.

Reply via email to