Merge proposals

trilinos in Ubuntu has no merge proposals.