Sherman Minton

“ By a 1938 Resolution, the applicable law during the period in question, Congress provided that whenever per diem employees were 'relieved or prevented from working solely because of the occurrence of' holidays declared by statute or executive order, 'they shall receive the same pay for such days as for other days on which an ordinary day's work is performed.' [2] The question thus presented is whether the Resolution somehow precludes the awarding of the gratuity pay which the agreement seems to grant. ”

“ H.R.Rep.No.514, 79th Cong., 1st Sess., Appendix, p. 94, note 2.↑ Thus, under the Government's view an employees who worked five hours on a holiday would receive his regular compensation plus premium pay, or seven and one-half hours' pay; if he stayed home all day, he would receive eight hours' pay. ”