Re: [graph-tool] Re index edges