[Gretl-devel] Re: checking the status of "set" options