Re: [Gretl-devel] nasty bug in gretl 1.7.3