Hi.
I think, it be useful to include in version() function a hexadecimalidentifier of commit, for fast checkout to it in git.
-- ------------pasman