[Gretl-devel] gretl 2018c and git