Merge proposals

clipper in Ubuntu has no merge proposals.