[Gretl-devel] Re: probable bug with lost panel time