[Gretl-announce] gretl 2020a released