on 21/07/2013 23:25 Gustau Pérez i Querol said the following: > github repo hasn't the svn revision The github repo does have svn revision numbers -- as git notes (google for this term). -- Andriy Gapon