Any idea on when you'll be releasing a new version of graph_tool? I'd like to be able to deploy the fix from https://git.skewed.de/count0/graph -tool/issues/188 on our amazon servers.
There was talk of a November release but it looks like that didn't work out (no worries, things come up) so I thought I'd ping again. Thank you! -Lisa
_______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
