[Gretl-devel] time functions in git