Re: [Gretl-devel] Bug reported at weekend