Re: [graph-tool] Removed edges in EdgePropertyMap