The federal judiciary never felt the full brunt of the 16-day government shutdown, since alternative funds allowed courtrooms and clerks’ offices to operate normally when other government operations stalled.

The deal that reopened the government Thursday, however, leaves in place most of the $350 million budget cuts to the judiciary made earlier this year—a situation that a top judiciary official this summer predicted would be “devastating for the federal courts.”