[Gretl-users] Re: next gretl release