Re: [Gretl-devel] a little bug