Who Gets Time Off Under Ron DeSantis' New Christmas Announcement?

Florida Governor Ron DeSantis announced that state workers would receive extra holiday over the Christmas period, though part-time employees won't be eligible.