Re: [graph-tool] Getting all unique values in a vector-valued vertex property map