Compressed workweeks: How to handle holidays

Q. A handful of our employees work four 10-hour days and get Fridays off. The rest work a regular week (five eight-hour days). If a holiday falls on a Friday, should the employees who work the 10-hour days also get Thursday off since they are always off on Fridays? — C.J., Nevada ...