Merge proposals

darts in Ubuntu has no merge proposals.