Merge proposals

mumps in Ubuntu has no merge proposals.