From
To
There's still some negotiating left before the next potential shutdown deadline of Dec. 20.