Today is a federal holiday. Officially, it is Washington’s Birthday. As the federal Office of Personnel Management states: This holiday is designated as “Washington’s Birthday” in section 6103(a) of title 5 of the United States Code, which is the law that specifies holidays for Federal employees. Though other institutions such as state and local governments …
