23 May
2018
23 May
'18
5:01 p.m.
OK, I will wait for the new git version then. Thanks for the quick response! Best, Philipp -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/