Re: [graph-tool] edge removal not removing value from property map