Holiday credit when on vacation leave

A holiday or a day granted by statute in lieu thereof granted to state employees occurring during the vacation of an employee shall be recorded as a holiday, and not as a day of vacation. When a full day off is granted by act of the Governor, an employee on vacation shall not have the day charged as a vacation day. (Effective July 9, 1975)