Merge proposals dependent on lp:set-theory

lp:set-theory has no merge proposals.