Senate reports on public bills, 85th Congress. 1781. Providing for designation of holidays for officers and employees of Government of District of Columbia for pay and leave purposes. Report from Committee on District of Columbia to accompany H. R. 7452.