The government shutdown is finally over

The government shutdown is finally over.