Merge proposals dependent on lp:~xnox/graph-tool/debian

lp:~xnox/graph-tool/debian has no merge proposals.