Re: [Gretl-devel] 2017d release?