improve git revision
Merge branch 'master' of https://github.com/ironrhino/ironrhino.git