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.
**
November 11, 2018 (the legal public holiday for Veterans Day), falls on a Sunday. For most Federal employees, Monday, November 12, will be treated as a holiday for pay and leave purposes.