Re: [Gretl-devel] future of gretl mailing lists