Re: [graph-tool] from string property to vertex index