[Gretl-announce] gretl 2020c released