Re: [graph-tool] degree_property_map