Re: [graph-tool] Preventing parallel edge creation