Merge proposals

dotdee in Ubuntu has no merge proposals.