Oh yeah, federal workers must get the following Monday off when a holiday, they usually get off, falls on the weekend.
They get the Friday 31 off, not Monday.