Merge proposals

mandos in Ubuntu has no merge proposals.