Merge proposals

getfem++ in Ubuntu has no merge proposals.