Senate reports on public bills, 93d Congress. 1218. Redesignating Nov. 11 of each year as Veterans day and to make such day legal public holiday. Report from Committee on Judiciary to accompany S.4081.