Re: [Gretl-devel] [bug?] selection in gretl console