[Gretl-devel] gretl 1.9.9 just about ready