On 09/21/2012 11:18 AM, Aurelien Jarno wrote:
> Both applied. Didn't pull it, as repo.or.cz seems currently dead.

Interesting, since I've been using it all morning.
I wonder if the git:// side is dead while ssh:// still works?


r~

Reply via email to