[Gretl-users] Re: recent gretl fixes