Re: [Gretl-devel] Re: A possible bug, etc