Re: [Gretl-devel] Small bug in GUI