30 Jan
2015
30 Jan
'15
12:09 a.m.
On 29.01.2015 23:32, graph-tool@v6y.net wrote:
Quoting Tiago de Paula Peixoto (2015-01-29 15:54:14)
The modifications are now in the git version.
Great, thanks.
Did you fix a bug with "git clone" on the skewed.de server?
"git clone https://git.skewed.de/count0/graph-tool.git"
previously, it would almost always time-out, therefore we are currently using the github repo in portage.
This has been fixed now. You can go back using the official repository. Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>