7 Apr
2012
7 Apr
'12
8:40 a.m.
Hi, On 04/05/2012 10:20 PM, Mikhail Spivakov wrote:
Update: I've now downgraded to 1.46.1, with which this error did not occur. I've logged a ticket (#99) on the graph-tool website - perhaps even if it's not worth the effort fixing this error, it'd be good to warn users about it.
This should be fixed now in the git version. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>