On 07.01.2015 22:39, Lisa Zorn wrote:
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
https://git.skewed.de/count0/graph-tool/issues/188 on our amazon servers.
There was talk
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
