Re: [graph-tool] Fast method for duplicated edge removal