Re: [graph-tool] Graph thread safety