On Thu, 12 Dec 2013 16:46, wk at gnupg.org said: > Actually this is a remote problem. git.gnupg.org had a storage failure > and thus remounted itself read-only. It is currently been worked on. git.gnupg.org is now back. Sorry for the problems. I realized them too late. Salam-Shalom, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.