Am 22.06.2022 um 19:57 schrieb Daniel Ventosa-Santaulària:
Many thanks Allin,
To be fair, I noted this bug a while ago, but I used to think that it
was my fault. I am happy this bug has been eliminated. Thank you.
And thank you again as the bug reporter.
One important lesson here for everybody is: if gretl crashes on you,
it's always a gretl bug, even if the user did something "stupid". At the
very least, gretl should respond with an error message, but ideally
never crash.
So keep those reports coming!
thanks
sven