OpenGrok/OpenGrok — pull request #662 by vladak (2013-08-14 15:28:56+00:00)
Title: use specific length for git changeset IDs

fixes #661