Merge proposals

minexpert2 in Ubuntu has no merge proposals.