Re: [Gretl-devel] A possible bug and a request