[Trennmuster] keine Verbindung zu dem Server unter repo.or.cz

[Guenter Milde]

Liebe Trennfreunde,

unser Repositorium scheint z.Zt. unerreichbar :(

  Der Server unter repo.or.cz braucht zu lange, um eine Antwort zu senden.

  Die Website könnte vorübergehend nicht erreichbar sein, versuchen Sie
  es bitte später nochmals.
  
und git push oder pull geht grad nicht...

Hoffentlich bald vorbei. (Oder weiß jemand mehr?)


Günter