Re: [Gretl-devel] pre-release testing for gretl 1.8.0