[Gretl-devel] the getinfo() function: request for comments