Merge proposals

tetgen in Ubuntu has no merge proposals.