[Gretl-users] git issue