Excerpts from Vladimír Čunát's message of Mon Jul 04 16:49:18 +0200 2011: > Thanks, I forgot that svn trunk currently isn't being merged every day > into topgit... just wasted build time. There was another reason. The update broke to the git configuration update. I'm sorry about that. Marc Weber