There is a patch by Alex Henrie that is ready to be merged that should deal with this problem: https://https://git.skewed.de/count0/graph-tool/merge_requests/16 <https://https://git.skewed.de/count0/graph-tool/merge_requests/16>
We are just waiting for someone from graph-tool team to merge it... -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/ _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
