[Gretl-devel] next release

Hello all, Now that sourceforge seems to be in full swing again, my thoughts are returning to the delayed 2018a release. There are new snapshots in place today; I'd be grateful if people could give them a go and check that nothing has gone badly wrong. Since we've had a flurry of bug reports (or at least, "infelicity reports") over the last few weeks, and I've made quite a few changes in response, I'd like to make sure that my new changes haven't broken anything serious. Allin