Re: [Gretl-devel] 2017b release