[Gretl-announce] gretl 1.9.7 released