[Gretl-announce] gretl 2018b released