Merge proposals

gmsh in Ubuntu has no merge proposals.