[Gretl-devel] local comma in gretlcli.exe

Hi, I noticed that when I use gretlcli.exe (which I don't do very often), in the output I get numbers with local decimal separator comma, even though in the (GUI) settings I have disabled the local comma. Is that expected? If so, how does one switch off the comma for the CLI? I know about the --english option, but I don't necessarily want to change the language (although that would be ok as a workaround). Or is it a bug? thanks, sven