Merge proposals

tendermint in Ubuntu has no merge proposals.