Public laws, 85th Congress. 533. H. R. 7452, act to provide for designation of holidays for officers and employees of Government of District of Columbia for pay and leave purposes, and for other purposes.