22 Feb
2016
22 Feb
'16
5:03 p.m.
On 18.02.2016 18:31, hao wrote:
The graph-tool I am using is 2.7 (commit ebd75c28, Thu Sep 17 23:25:50 2015 +0200). Is this fixed in the latest version?
Yes. You should always try the newest release first. Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>