9.42 Holiday Pay and Overtime

Holiday pay will not be considered hours worked when computing time for overtime pay.