Re: [Gretl-devel] bug: printf