The federal government hasn’t released funding frozen during last October’s government shutdown.