Re: [graph-tool] Using an edge_property on GraphView