11 Jul
2018
11 Jul
'18
4:22 p.m.
You are perfectly right, I am indeed! I will rerun it and get back in touch if the problem persists. Thank you for spotting this though! Best, Philipp -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/