Re: [Gretl-devel] Gretl-devel Digest, Vol 32, Issue 9