Merge proposals

cmt in Ubuntu has no merge proposals.