[Gretl-devel] Re: GIT issue