Merge proposals

q2-types in Ubuntu has no merge proposals.