Re: [graph-tool] GraphML reader: Attributes of type string