Re: [graph-tool] [announcement] New version from graph-tool