[Gretl-devel] Probably a bug in stringify()