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. -Justin _______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
