I think the federal employees in DC did get the day off, but not elsewhere.
Incorrect, Passionfruit: we did not. As I said, maybe employees of the District did, but we feds did not.
TC