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~
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~