[Gretl-announce] gretl 1.10.2 release