Re: [Gretl-users] decimal separator bug