Re: [Gretl-devel] gretl 2018a?