Re: [graph-tool] Random graph with degree sequence.