Re: [Gretl-users] end something -- blank or not?