[Gretl-devel] Re: Bug reported at weekend