[Gretl-devel] Git updating