Re: [Gretl-devel] decision on an old feature request