On Thu, 14 Nov 2013 13:08, jussi.kivilinna at iki.fi said: > I accidentally pushed 'gcm' work branch to git.gnupg.org, and could not remove it since removing branches is blocked at the server. I'll do it. Shalom-Salam, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.