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.
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.