Merge proposals

hypothesis-auto in Ubuntu has no merge proposals.