It will keep the government open through December.