Merge proposals

minizinc-ide in Ubuntu has no merge proposals.