Re: [graph-tool] all_shortest_paths