Re: [graph-tool] Problem with pseudo_diameter() and GraphView object ()