Re: [graph-tool] close edges