Re: [graph-tool] current git version not working...