Re: [graph-tool] Update add_edge_list vertex property map