Re: [Gretl-users] gretl 2018b released