Merge proposals

conmux in Ubuntu has no merge proposals.