[Gretl-devel] Re: 'workspace' in the main git tree?