Re: [Gretl-devel] gretl 2018c and git