Merge proposals

env2 in Ubuntu has no merge proposals.